Generation and execution of partially correct plans in dynamic environments
Alessandro Farinelli, Giorgio Grisetti, Luca Iocchi, Daniele Nardi, Riccardo Rosati · 2002
In this paper we present the recent developments of the approach to the design of Cognitive Robots (i.e. robots whose actions are driven by a formally developed theory of action), that are capable of performing tasks in a coordinated way. The logic of actions that we adopt is an epistemic dynamic logic, where it is possible to derive acyclic branching plans (branches corresponding to sensing actions), including primitive parallel actions.