Use of cognitive robotics logic in a double helix architecture for autonomous systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2466, Issue , 2002, Pages 226-248

  Sandewall, Erik ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE SYSTEMS; COMPUTATION THEORY; ROBOTICS; ROBOTS; SEMANTICS;

ABSTRACT MODELING; AUTONOMOUS SYSTEMS; COGNITIVE ROBOTICS; COGNITIVE ROBOTS; COMPUTATIONAL MODEL; COMPUTATIONAL PROCESS; LOGIC-OF-ACTION; NOVEL ARCHITECTURE;

COMPUTER CIRCUITS;

EID: 84949514489     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-37724-7_14     Document Type: Conference Paper

References (24)

1. Raja Chatila and Jean-Paul Laumond. Position referencing and consistent world modelling on mobile robots. In IEEE International Conference of Robotics and Automation, pages 138–145, 1985.
2. Thomas Dean and Michael P. Wellman. Planning and Control. Morgan-Kaufmann, 1991.
3. Patrick Doherty, G¨osta Granlund, Krzystof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, and Johan Wiklund. The witas unmanned aerial vehicle project. In European Conference on Artificial Intelligence, pages 747–755, 2000.
4. Patrick Doherty, Joakim Gustafsson, Lars Karlsson, and Jonas Kvarnström. Temporal action logics language. specification and tutorial. Electronic Transactions on Artificial Intelligence, 2:273–306, 1998.
5. Patrick Doherty, Tommy Persson, Björn Wingman, Patrick Haslum, and Fredrik Heintz. A CORBA-based deliberative/reactive architecture for unmanned aerial vehicles. Unpublished manuscript, 2002.
6. R. James Firby, Roger E. Kahn, Peter N. Prokopowicz, and Michael J. Swain. An architecture for vision and action. In International Joint Conference on Artificial Intelligence, pages 72–79, 1995.
7. Oliver Lemon, Alexander Gruenstein, and Stanley Peters. Collaborative activities and multi-tasking in dialogue systems. Traitement Automatique des Langues, special issue on dialogue, 2002. To appear.
8. Hector Levesque, Fiora Pirri, and Ray Reiter. Foundations for the situation calculus. Electronic Transactions on Artificial Intelligence, 2:159–178, 1998.
9. Hector J. Levesque, Raymond Reiter, Yves Lesérance, Fangzhen Lin, and Richard B. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59–84, April-June 1997.
10. Jörg Müller. Control architectures for autonomous and interacting agents. A survey. In Lawrence Cavedon, Anand Rao, and Wayne Wobcke, editors, Intelligent Agent Systems, pages 1–26, 1996.
11. Jörg Müller. The Design of Intelligent Agents. Springer Verlag, 1996.
12. Nils Nilsson. Teleo-reactive programs and the triple tower architecture. Electronic Transactions on Artificial Intelligence, 5B:99–110, 2001.
13. Anand S. Rao and Michael P. Georgeff. An abstract architecture for rational agents. In International Conference on Knowledge Representation and Reasoning, pages 439–449, 1992.
14. Stuart Russell and Peter Norvig. Artificial Intelligence. A Modern Approach. Prentice-Hall, 1995.
15. Erik Sandewall. Combining logic and differential equations for describing realworld systems. In Proc. International Conference on Knowledge Representation, Toronto, Canada, 1989.
16. Erik Sandewall. Filter preferential entailment for the logic of action in almost continuous worlds. In International Joint Conference on Artificial Intelligence, pages 894–899, 1989.
17. Erik Sandewall. Features and Fluents. The Representation of Knowledge about Dynamical Systems. Volume I. Oxford University Press, 1994.
18. Erik Sandewall. Towards the validation of high-level action descriptions from their low-level definitions. Artificial Intelligence Communications, December 1996. Also Linköping University Electronic Press, http://www.ep.liu.se/cis/1996/004/.
19. Erik Sandewall. A logic-based characterization of goal-directed behavior. Electronic Transactions on Artificial Intelligence, 1:105–128, 1997.
20. Erik Sandewall. Cognitive robotics logic and its metatheory: Features and fluents revisited. Electronic Transactions on Artificial Intelligence, 2:307–329, 1998.
21. Erik Sandewall. On the design of software individuals. Electronic Transactions on Artificial Intelligence, 5B:143–160, 2001.
22. George N. Saridis and Kimon P. Valavanis. On the theory of intelligent controls. In Proc. of the SPIE Conference on Advances in Intelligent Robotic Systems, pages 488–495, 1987.
23. Murray Shanahan. A logical account of the common sense informatic situation for a mobile robot. Electronic Transactions on Artificial Intelligence, 2:69–104, 1998.
24. D. van Dalen. Logic and Structure. Springer Verlag, 1980.