---
title: "A Logic for Acting, Sensing and Planning"
authors:
  - "Paolo Traverso"
  - "Luca Spalazzi"
doi: ""
url: "https://ijcai.org/proceedings/1995/249"
pdf: "https://ijcai.org/proceedings/1995/0249.pdf"
venue: "Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence"
year: 1995
pages: "1941-1948"
track: "Temporal Reasoning"
keywords:
---

# A Logic for Acting, Sensing and Planning

Paolo Traverso, Luca Spalazzi

*Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence*, 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.