Proc. of the European Conference on Planning (ECP-97)
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".
@inproceedings{degi-etal-ECP-97,
title = "Planning with Sensing for a Mobile Robot",
year = "1997",
author = "De Giacomo, Giuseppe and Luca Iocchi and Daniele Nardi and
Riccardo Rosati",
booktitle = "Proc. of the European Conference on Planning (ECP-97)",
pages = "156-168",
number = "1348",
publisher = "Springer-Verlag",
series = "Lecture Notes in Artificial Intelligence",
}