A Classification of First-Order Progressable Action Theories in Situation Calculus

Vassos, Stavros; Patrizi, Fabio

A Classification of First-Order Progressable Action Theories in Situation Calculus

Download BibTeX Cite

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 1132-1137.

Abstract

Projection in the situation calculus refers to answering queries about the future evolutions of the modeled domain, while progression refers to updating the logical representation of the initial state so that it reflects the changes due to an executed action. In the general case projection is not decidable and progression may require second-order logic. In this paper we focus on a recent result about the decidability of projection and use it to drive results for the problem of progression. In particular we contribute with the following: (i) a major result showing that for a large class of intuitive action theories with bounded unknowns a first-order progression always exists and can be computed; (ii) a comprehensive classification of the known classes that can be progressed in first-order; (iii) a novel account of nondeterministic actions in the situation calculus.

Stavros Vassos, and Fabio Patrizi. 2013. A Classification of First-Order Progressable Action Theories in Situation Calculus. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 1132–1137. https://ijcai.org/proceedings/2013/171

@inproceedings{ijcai2013p171,
  title     = {A Classification of First-Order Progressable Action Theories in Situation Calculus},
  author    = {Vassos, Stavros and Patrizi, Fabio},
  booktitle = {Proceedings of the Twenty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-13}},
  publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
  editor    = {Francesca Rossi},
  pages     = {1132--1137},
  year      = {2013},
  month     = {8},
  url       = {https://ijcai.org/proceedings/2013/171},
}

TY  - CPAPER
TI  - A Classification of First-Order Progressable Action Theories in Situation Calculus
AU  - Vassos, Stavros
AU  - Patrizi, Fabio
T2  - Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13
PB  - AAAI Press / International Joint Conferences on Artificial Intelligence
PY  - 2013
SP  - 1132
EP  - 1137
UR  - https://ijcai.org/proceedings/2013/171
ER  -