UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
A Generalization of the Lin-Zhao Theorem (2006)
Paolo Ferraris
,
Joohyung Lee
and
Vladimir Lifschitz
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In this paper we simplify and generalize the statement of this theorem. The simplification is achieved by modifying the definition of a loop in such a way that a program is turned into the corresponding propositional formula by adding loop formulas directly to the conjunction of its rules, without the intermediate step of forming the program's completion. The generalization makes the idea of a loop formula applicable to stable models in the sense of a very general definition that covers disjunctive programs, programs with nested expressions, and more.
View:
PDF
,
PS
Citation:
Annals of Mathematics and Artificial Intelligence
, Vol. 47 (2006), pp. 79-101.
Bibtex:
@Article{fer06, title={A Generalization of the Lin-Zhao Theorem}, author={Paolo Ferraris and Joohyung Lee and Vladimir Lifschitz}, volume={47}, journal={Annals of Mathematics and Artificial Intelligence}, pages={79-101}, url="http://www.cs.utexas.edu/users/ai-lab/?fer06", year={2006} }
People
Paolo Ferraris
Ph.D. Alumni
pieffe8 [at] gmail com
Joohyung Lee
Ph.D. Alumni
joolee [at] asu edu
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Answer Set Programming
Labs
Texas Action Group