UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
A Model-Theoretic Counterpart of Loop Formulas (2005)
Joohyung Lee
In an important recent paper, Lin and Zhao intro- duced the concept of a loop formula, and showed that the answer sets for a logic program are exactly the models of Clark's completion of the program that satisfy the loop formulas. Just as supported sets are a model-theoretic account of completion, "externally supported" sets, defined in this paper, are a model-theoretic counterpart of loop formulas. This reformulation of loop formulas shows that they are related to assumption sets (Sacca and Zaniolo) and to unfounded sets (Van Gelder, Ross and Schlipf; Leone, Rullo and Scarcello), invented many years earlier. Other contributions of this paper include a simplifcation of the definition of a loop, extending it to programs with classical negation and infinite programs, and a generalization of the definition of a loop formula.
View:
PDF
Citation:
In
Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)
, pp. 503-508 2005. Professional Book Center.
Bibtex:
@Inproceedings{lee05, title={A Model-Theoretic Counterpart of Loop Formulas}, author={Joohyung Lee}, booktitle={Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)}, publisher={Professional Book Center}, pages={503-508}, url="http://www.cs.utexas.edu/users/ai-lab?lee05", year={2005} }
People
Joohyung Lee
Ph.D. Alumni
joolee [at] asu edu
Areas of Interest
Answer Set Programming