UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Nested Expressions in Logic Programs (1999)
Vladimir Lifschitz
, Lappoon R. Tang and
Hudson Turner
We extend the answer set semantics to a class of logic programs with nested expressions permitted in the bodies and heads of rules. These expressions are formed from literals using negation as failure, conjunction (,) and disjunction (;) that can be nested arbitrarily. Conditional expressions are introduced as abbreviations. The study of equivalent transformations of programs with nested expressions shows that any such program is equivalent to a set of disjunctive rules, possibly with negation as failure in the heads. The generalized answer set semantics is related to the Lloyd? Topor generalization of Clark's completion and to the logic of minimal belief and negation as failure.
View:
PS
Citation:
Annals of Mathematics and Artificial Intelligence
, Vol. 25 (1999), pp. 369-389.
Bibtex:
@ARTICLE{lif99d, title={Nested Expressions in Logic Programs}, author={Vladimir Lifschitz and Lappoon R. Tang and Hudson Turner}, volume={25}, journal={Annals of Mathematics and Artificial Intelligence}, pages={369-389}, url="http://www.cs.utexas.edu/users/ai-lab/?lif99d", year={1999} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Hudson Turner
Ph.D. Alumni
hudson [at] d umn edu
Areas of Interest
Answer Set Programming
Nonmonotonic Reasoning
Labs
Texas Action Group