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 32 citations. REVIEW CITATIONS
20 Citations
46 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 46 references

Non-monotonic temporal reasoning

  • E. Sandewall, Y. Shoham
  • In Handbook of Logic in Artificial Intelligence…
  • 1995
Highly Influential
3 Excerpts

A logical approach to high-level robt programing

  • Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, R. Scherl
  • In AAAI FAll Symposium on Control of the Physical…
  • 1994
Highly Influential
11 Excerpts

Proving properties of states in the situation calculus

  • R. Reiter
  • Artificial Intelligence,
  • 1993
Highly Influential
11 Excerpts

Similar Papers

Loading similar papers…