characterizations of stable model semantics for logic programs with     arbitrary constraint atoms

	characterizations of stable model semantics for logic programs with arbitrary constraint atoms
	Shen Yi-Dong ; You Jia-Huai ; Yuan Li-Yan
刊名	THEORY AND PRACTICE OF LOGIC PROGRAMMING
	2009
卷号	9 期号:4 页码:529-564
关键词	answer set programing abstract constraint atoms stable model semantics Gelfond-Lifschitz transformation
ISSN号	1471-0684
学科主题	Computer Science ; Software Engineering; Computer Science ; Theory & Methods
公开日期	2011-03-18
附注	This paper studies the stable model semantics of logic programs with (abstract) constraint,items and their properties. We introduce a succinet abstract representation of these constraint atoms in which a constraint atom is represented compactly. We show two applications. First, under this representation of constraint atoms, we generalize the Gelfond-Litschitz transformation and apply it to define stable models (also called answer sets) for logic programs with arbitrary constraint atoms. The resulting semantics turns Out to coincide with the one defined by Son et al. (2007), which is based oil a fixpoint approach. One advantage of our approach is that it can be applied, in a natural way, to define stable models for disjunctive logic programs with constraint atoms, which may appear in the disjunctive head as well as in the body of a rule. As a result, Our approach to the stable model semantics for logic programs with constraint atoms generalizes a number of previous approaches. Second, we show that our abstract representation of constraint atoms provides a means to characterize dependencies of atoms in it program with constraint atoms, so that some standard characterizations and properties relying on these dependencies in the past for logic programs with ordinary atoms can be extended to logic programs with constraint atoms.
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/7850]
专题	软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式 GB/T 7714	Shen Yi-Dong,You Jia-Huai,Yuan Li-Yan. characterizations of stable model semantics for logic programs with arbitrary constraint atoms[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING,2009,9(4):529-564.
APA	Shen Yi-Dong,You Jia-Huai,&Yuan Li-Yan.(2009).characterizations of stable model semantics for logic programs with arbitrary constraint atoms.THEORY AND PRACTICE OF LOGIC PROGRAMMING,9(4),529-564.
MLA	Shen Yi-Dong,et al."characterizations of stable model semantics for logic programs with arbitrary constraint atoms".THEORY AND PRACTICE OF LOGIC PROGRAMMING 9.4(2009):529-564.