UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Towards a Metatheory of Action (1991)
Vladimir Lifschitz
We present a formalization of the blocks world on the basis of the situation calculus and circumscription, and investigate its mathematical properties. The main theorem describes the effect of the circumscription which solves the frame problem in the presence of ramifications. The theorem is quite general, in the sense that it is applicable not only to the blocks world, but to a whole class of domains involving situations and actions. Its statement does not mention anything specific for the domain of blocks. Instead, it lists assumptions about purely formal, mostly syntactic, properties of the axiom set.
View:
PDF
Citation:
In
Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)
, Allen, James and Fikes, Richard and Sandewall, Erik (Eds.), pp. 376-386 1991.
Bibtex:
@inproceedings{lif91a, title={Towards a Metatheory of Action}, author={Vladimir Lifschitz}, booktitle={Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)}, editor={Allen, James and Fikes and Richard and Sandewall and Erik}, pages={376-386}, url="http://www.cs.utexas.edu/users/ai-lab?lif91a", year={1991} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Circumscription
Common Sense Reasoning
Nonmonotonic Reasoning
Reasoning about Actions
Situation Calculus