Journal of Logic and Computation, Volume 10, Issue 6, pp. 787-821: Abstract.
A dynamic logic for acting, sensing, and planning
L Spalazzi1 and P Traverso2
1Istituto di Informatica, University of Ancona, Via Brecce Bianche, 60131 Ancona, Italy, E-mail: firstname.lastname@example.org, 2IRST - Istituto per la Ricerca Scientifica e Tecnologica, 38050 Provo, Trento, Italy, E-mail: email@example.com
This paper is a first attempt towards a theory for reactive planning systems, i.e. systems able to plan and control execution of plans in a partially known and unpredictable environment. We start from an experimental real-world application developed at
Keywords: dynamic logic, failure, sensing actions, planning actions, theory of actions, reactive systems