Planning With Failure
Fausto Giunchiglia, Luca Spalazzi, Paolo Traverso, Fausto Giunchiglia, Paolo Traverso · 1994
Many real world applications require systems with both reasoning and sensing/acting capabilities. However, most often, these systems do not work properly, i.e. they fail to execute actions and rarely perceive the external world correctly. No action, even if apparently simple, is guaranteed to succeed and, therefore, no planning can be "sound" (with respect to the real world) without taking into account failure. In this paper, we present a theory of planning that provides (1) a language that allows us to express failure; (2) a declarative formal semantics for this language; (3) a logic for reasoning about (possibly failing) plans. 1 Failure Many real world applications require systems with both reasoning and sensing/acting capabilities. Reasoning allows systems to achieve high level goals. Acting and sensing allows them to work in a complex and unpredictable external environment. Most often, systems sensing and acting in the world do not work properly, i.e. they fail to exe...