UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Situation Calculus and Causal Logic (1998)
Vladimir Lifschitz
In the AAAI-97 paper by McCain and Turner, the frame problem is solved using a nonmonotonic causal logic. In this note we show how their method can be adapted to the language of the situation calculus. The ``causal situation calculus'' is applied to action domains involving ramifications and nondeterminism, and related to the causal formalization of actions proposed by Lin.
View:
PS
Citation:
In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart (Eds.), pp. 536-546 1998.
Bibtex:
@INPROCEEDINGS{lif98, title={Situation Calculus and Causal Logic}, author={Vladimir Lifschitz}, booktitle={Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)}, editor={Cohn, Anthony and Schubert and Lenhart and Shapiro and Stuart}, pages={536-546}, url="http://www.cs.utexas.edu/users/ai-lab?lif98", year={1998} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Causal Theories
Nonmonotonic Reasoning
Reasoning about Actions
Situation Calculus