a default approach to semantics of logic programs with constraint atoms

	a default approach to semantics of logic programs with constraint atoms
	Shen Yi-Dong; You Jia-Huai
	2009
会议名称	10th International Conference on Logic Programming and Nonmonotonic Reasoning
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
会议日期	SEP 14-18,
会议地点	Potsdam, GERMANY
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS
ISSN	0302-9743
ISBN	978-3-642-04237-9
部门归属	Shen, Yi-Dong Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China.
摘要	We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic formulas in rules are evaluated using the classical entailment relation, so a constraint atom can be represented by an equivalent propositional formula. Therefore, answer sets are defined in a way closely related to default extensions. The semantics defined this way enjoys two properties generally considered desirable for answer set programming - minimality and derivability. The derivability property is very important because it guarantees free of self-supporting, loops in answer sets. We show that a when restricted to basic logic programs, this semantics agrees with the conditional-satisfaction based semantics. Furthermore, answer sets by the minimal-model based semantics can be recast in our approach. Consequently, the default, approach gives a unifying account of the major existing semantics for logic programs with constraint atoms. This also makes it possible to characterize, in terms of the, minimality mid derivability properties, the precise relationship between them and contrast with others.
关键词	Atoms Logic Programming
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/8326
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Shen Yi-Dong,You Jia-Huai. a default approach to semantics of logic programs with constraint atoms[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS,2009.