UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Representing Transition Systems by Logic Programs (1999)
Vladimir Lifschitz
and
Hudson Turner
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action language C. We show here that many of the ideas developed in that work can be formulated in terms of logic programs under the answer set semantics, without mentioning causal theories. The translations from C into logic programming that we investigate serve as a basis for the use of systems for computing answer sets to reason about action domains described in C and to generate plans in such domains.
View:
PS
Citation:
In
Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
, pp. 92-106 1999.
Bibtex:
@INPROCEEDINGS{lif99b, title={Representing Transition Systems by Logic Programs}, author={Vladimir Lifschitz and Hudson Turner}, booktitle={Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)}, pages={92-106}, url="http://www.cs.utexas.edu/users/ai-lab?lif99b", year={1999} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Hudson Turner
Ph.D. Alumni
hudson [at] d umn edu
Areas of Interest
Action Languages
Answer Set Programming
Automated Reasoning
Nonmonotonic Reasoning
Reasoning about Actions