Theory and implementation of cognitive mobile robots

Journal of Logic and Computation

Volumn 9, Issue 5, 1999, Pages 759-785

  De Giacomo, Giuseppe ^a   Iocchi, Luca ^a   Nardi, Daniele ^a   Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COGNITIVE SYSTEMS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MOBILE ROBOTS; ROBOT PROGRAMMING;

DESCRIPTION LOGICS; DYNAMIC LOGICS;

FORMAL LOGIC;

EID: 0033326149     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/9.5.759     Document Type: Article

References (48)

1. P. E. Agre and D. Chapman. Pengi: An implementation of a theory of activity. Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), 1987.
2. P. E. Agre and D. Chapman. What are plans for? Robotics and Autonomous Systems, 6, 17-34, 1990.
3. A. Artale and E. Franconi. A computational account for a description logic of time and action. Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR-94), 1994.
4. F. Baader and A. Laux. Terminological logics with modal operator. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1995.
5. F. Bacchus and F. Kabanza. Using temporal logic to control search in a forward chaining planner. In Proceedings of the Third European Workshop on Planning, 1995.
6. F. Bacchus and F. Kabanza. Planning for temporally extended goals. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pp. 1215-1222, 1996.
7. A. Borgida, R. J. Brachman, D. L. McGuinness and L. Alperin Resnick. CLASSIC: A structural data model for objects. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 59-67, 1989.
8. R. A. Brooks. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation, RA-2, (1), 1986.
9. M. Buchheit, F. M. Donini, W. Nutt, and A. Schaerf. Terminological systems revisited: Terminology = schema + views. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pp. 199-204, Seattle, USA, 1994.
10. M. Buchheit, F. M. Donini, and A. Schaerf. Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1, 109-138, 1993.
11. D. Calvanese. Reasoning with inclusion axioms in description logics: Algorithms and complex-ity. In Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), W. Wahlster, ed. pp. 303-307. John Wiley & Sons, 1996.
12. G. De Giacomo, L. Iocchi, D. Nardi, and R. Rosati. Moving a robot: the KR&R approach at work. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), pp. 198-209, 1996.
13. G. De Giacomo, L. Iocchi, D. Nardi, and R. Rosati. Planning with sensing for a mobile robot. In Proceedings of the Fourth European Conference on Planning (ECP-97), 1997.
14. G. De Giacomo and M. Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI-94), pp. 205-212. AAAI Press/The MIT Press, 1994.
15. G. De Giacomo and M. Lenzerini. PDL-based framework for reasoning about actions. In Proceedings of the Fourth Conference of the Italian Association for Artificial Intelligence (AI*IA-95), number 992 in Lecture Notes In Artificial Intelligence, pp. 103-114. Springer-Verlag, 1995.
16. P. Devambu and D. Litman. Plan-based terminological reasoning. In Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), J. Allen, R. Fikes and E. Sandewall, eds. pp. 128-138. Morgan Kaufmann, Los Altos, 1991.
17. F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt and A. Schaerf. Adding epistemic operators to concept languages. In Proceedings of the Third International Conference on the Principles of Knowledge Representation and Reasoning (KR-92), pp. 342-353. Morgan Kaufmann, Los Altos, 1992.
18. F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt, and A. Schaerf. Queries, rules and definitions. In Foundations of Knowledge Representation and Reasoning. Springer-Verlag, 1994.
19. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Reasoning in description logics. In Principles of Knowledge Representation, Studies in Logic, Language and Information, G. Brewka, ed. pp. 193-238. CSLI Publications, 1996.
20. F. M. Donini, D. Nardi, and R. Rosati. Autoepistemic description logics. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), pp. 136-141, 1997.
21. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. The MIT Press, 1995.
22. R. J. Firby. An investigation into reactive planning in complex domains. Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), 1987.
23. M. J. Fischer and R. E. Ladner. Propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18, 194-211, 1979.
24. E. Gat. Integrating planning and reacting in a heterogeneous asynchronous architecture for controlling real-world mobile robots. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), 1992.
25. R. Goldman, M. Boddy, and L. Pryor. Planning with observations and knowledge. In AAAI-97 Workshop on Theories of Action, Planning and Control, 1996.
26. S. Hanks and R. J. Firby. Issues and architectures for planning and execution. In Proceedings of Workshop on Innovative Approaches to Planning, Scheduling, and Control, 1990.
27. L. Kaelbling and S. Rosenschein. Action and planning in embedded agents. Robotics and Autonomous Systems, 6, 35-48, 1990.
28. J. Koehler. An application of terminological logics to case-based reasoning. Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR-94), 1994.
29. K. Konolige. Erratic competes with the big boys. AAAI Magazine, Summer, 61-67, 1995.
30. K. Konolige, K. Myers, E. Ruspini, and A. Saffiotti. The Saphira architecture: A design for autonomy. Journal of Experimental and Theoretical Artificial Intelligence, bf 9, 215-235, 1997.
31. D. Kozen and J. Tiuryn. Logics of programs. In Handbook of Theoretical Computer Science - Formal Models and Semantics, J. V. Leeuwen, ed. pp. 789-840. Elsevier Science Publishers (North-Holland), Amsterdam, 1990.
32. Y. Lesperance, H. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. A logical approach to high-level robt programing. In AAAI FAll Symposium on Control of the Physical World by Intelligent Systems, 1994.
33. H. J. Levesque. What is planning in presence of sensing? In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pp. 1139-1149. AAAI Press/The MIT Press, 1996.
34. F. Lin and Y. Shoham. On non-forgetting and minimal learning. In Proceedings of the 1993 International Colloquium on Cognitive Science, 1993.
35. J. Lobo, G. Mendez, and S. Taylor. Adding knowledge to the action description language A. In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pp. 454-459, 1997.
36. D. McAllester, 1991. Unpublished manuscript.
37. B. Nebel. Terminological cycles: Semantics and computational properties. In Principles of Semantic Networks, 3. F. Sowa, ed. pp. 331-361. Morgan Kaufmann, Los Altos, 1991.
38. N. J. Nilsson. Shakey the robot. Technical Report 323, SRI Artificial Intelligence Center, 1984.
39. R. Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, 64, 337-351, 1993.
40. S. Rosenschein. Plan synthesis: a logical perspective. In Proceedings of the 8th International Joint Conference on Artificial Intelligence, 1981.
41. A. Saffiotti, K. Konolige, and E. Ruspini. A multivalued logic approach to integrating planning and control. Artificial Intelligence, 76, 481-526, 1995.
42. E. Sandewall and Y. Shoham. Non-monotonic temporal reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4, pp. 439-498. Oxford Science Publications, 1995.
43. R. Scherl and H. J. Levesque. The frame problem and knowledge producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pp. 689-695, 1993.
44. K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pp. 466-471, Sydney, Australia, 1991.
45. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence Journal, 48, 1-26, 1991.
46. M. Schoppers. Universal plan for reactive robots in unpredictable environments. In Proceedings of the International Joint Conference on Artificial Intelligence, 1987.
47. R. Simmons. An architecture for coordinating planning, sensing and action. Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), 1992.
48. W. A. Woods and J. G. Schmolze. The KL-ONE family. Technical Report TR-20-90, Aiken Computation Laboratory, Harvard University, Cambridge, MA, 1990. To appear in Computers & Mathematics with Applications.