Formal Theories of Action (Preliminary Report)

Lifschitz, Vladimir

Formal Theories of Action (Preliminary Report)

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Reasoning. Pages 966-971.

Abstract

We apply circumscription to formalizing reasoninabout the effects of actions in the framework of the situation calculus. The axiomatic description of causal connections between actions and changes allows us to solve the qualification problem and the frame problem using only simple forms of circumscription. The method is applied to the Hanks-McDermott shooting problem and to a blocks world in which blocks can be moved and painted.

Vladimir Lifschitz. 1987. Formal Theories of Action (Preliminary Report). In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 966–971. https://ijcai.org/proceedings/1987/199

@inproceedings{ijcai1987p199,
  title     = {Formal Theories of Action (Preliminary Report)},
  author    = {Lifschitz, Vladimir},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {966--971},
  year      = {1987},
  note      = {Reasoning},
  url       = {https://ijcai.org/proceedings/1987/199},
}

TY  - CPAPER
TI  - Formal Theories of Action (Preliminary Report)
AU  - Lifschitz, Vladimir
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 966
EP  - 971
UR  - https://ijcai.org/proceedings/1987/199
ER  -