A Logic for Acting, Sensing and Planning

Traverso, Paolo; Spalazzi, Luca

A Logic for Acting, Sensing and Planning

Download BibTeX Cite

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 1941-1948.

Abstract

We present a logic which allows us to reason p.bout acting, and more specifically about sensIng, i.e. actions that acquire information from the real world, and planning, i.e. actions that generate and execute plans of actions. This logic takes into account the fact that, as it happens in real systems, actions may fail, and provides the ability of reasoning about failure handling in acting, sensing and planning. We see this work as a first step towards a formal account of systems which are able to plan to act, plan to sense and plan to plan, and therefore, to integrate action, perception and reasoning.

Paolo Traverso, and Luca Spalazzi. 1995. A Logic for Acting, Sensing and Planning. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. IJCAI, 1941–1948. https://ijcai.org/proceedings/1995/249

@inproceedings{ijcai1995p249,
  title     = {A Logic for Acting, Sensing and Planning},
  author    = {Traverso, Paolo and Spalazzi, Luca},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-95}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Chris S. Mellish},
  pages     = {1941--1948},
  year      = {1995},
  note      = {Temporal Reasoning},
  url       = {https://ijcai.org/proceedings/1995/249},
}

TY  - CPAPER
TI  - A Logic for Acting, Sensing and Planning
AU  - Traverso, Paolo
AU  - Spalazzi, Luca
T2  - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1995
SP  - 1941
EP  - 1948
UR  - https://ijcai.org/proceedings/1995/249
ER  -