We present an attempt to reconcile the theoretical work on reasoning about action with the realization of agents, in particular mobile robots. Specifically, we present a logical framework for representing dynamic systems based on description logics, which allows for the formalization of sensing actions. We address the generation of conditional plans by defining a suitable reasoning method in which a plan is extracted from a constructive proof of a query expressing a given goal. We also present an implementation of such a logical framework, which has been tested on the mobile robot "Tino".
CITATION STYLE
De Giacomo, G., Iocchi, L., Nardi, D., & Rosati, R. (1997). Planning with sensing for a mobile robot. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1348 LNAI, pp. 156–168). Springer Verlag. https://doi.org/10.1007/3-540-63912-8_83
Mendeley helps you to discover research relevant for your work.