A Theory and Implementation of Cognitive Mobile Robots

  title={A Theory and Implementation of Cognitive Mobile Robots},
  author={Giuseppe De Giacomo and Luca Iocchi and Daniele Nardi and Riccardo Rosati},
  journal={J. Log. Comput.},
We describe an approach to reasoning agents which is based on a formal theory of actions and is actually implemented on a mobile robot working in an office environment. From an epistemological viewpoint, our proposal is originated by the correspondence between Dynamic Logics and Description Logics. Specifically, we consider an epistemic extension of Description Logics to provide a new theoretical framework for the representation of dynamic systems, where the agent’s reasoning is based on its… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS