Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati.
In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96), pages 198-209, 1996.
The paper describes an approach to reasoning about actions and plan generation within the framework of description logics. From an epistemological viewpoint, our approach is based on the formalization of actions given by dynamic logics, but we exploit their correspondence with description logics to turn the formalization into an actual implementation. In particular, we are able to carefully weaken the logical inference process, thus making the reasoning of the robot computationally feasible. From a practical viewpoint, we use a general purpose knowledge representation environment based on description logics, and its associated reasoning tools, in order to plan the actions of the mobile robot "Tino", starting from the knowledge about the environment and the action specification. The robot's reactive capabilities allow it to execute such plans in the real world.
@String{KR-96 = "Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96)"}
@Inproceedings{DINR96,
author = "De Giacomo, Giuseppe and Luca Iocchi and Daniele Nardi and Riccardo Rosati",
title = "Moving a Robot: the {KR\&R} Approach at Work",
booktitle = KR-96,
pages = "198--209",
year = 1996,
}