{"type":"ScholarlyArticle","title":"A Logic for Acting, Sensing and Planning","authors":[{"name":"Paolo Traverso","slug":"paolo-traverso","given":"Paolo","family":"Traverso","affiliation":""},{"name":"Luca Spalazzi","slug":"luca-spalazzi","given":"Luca","family":"Spalazzi","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1995/249","pdf":"https://ijcai.org/proceedings/1995/0249.pdf","markdown":"https://ijcai.org/proceedings/1995/249.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/249","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Temporal Reasoning","track":"Temporal Reasoning","number":249,"pages":{"first":1941,"last":1948},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}