Skip to main content
SpringerLink
Log in
Book cover

Advances in Plan-Based Control of Robotic Agents pp 226–248Cite as

Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2466))

Abstract

This paper addresses the two-way relation between the architecture for cognitive robots on one hand, and a logic of action and change that is adapted to the needs of such robots on the other hand. The relation goes both ways: the logic is used within the architecture, but we also propose that an abstract model of the cognitive robot architecture shall be used for defining the semantics of the logic.

For this purpose, we describe a novel architecture called the Double Helix Architecture which, unlike earlier proposals, emphasizes a precise account of the metric discrete timeline and the computational processes that take place along that timeline. The computational model of the Double Helix Architecture corresponds to the semantics of the logic being used, namely the author’s Cognitive Robotics Logic which is based on the ’Features and Fluents’ theory.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Google Scholar 

  2. Thomas Dean and Michael P. Wellman. Planning and Control. Morgan-Kaufmann, 1991.

    Google Scholar 

  3. Patrick Doherty, Gösta 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.

    Google Scholar 

  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.

    MathSciNet  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  8. Hector Levesque, Fiora Pirri, and Ray Reiter. Foundations for the situation calculus. Electronic Transactions on Artificial Intelligence, 2:159–178, 1998.

    MathSciNet  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  11. Jörg Müller. The Design of Intelligent Agents. Springer Verlag, 1996.

    Google Scholar 

  12. Nils Nilsson. Teleo-reactive programs and the triple tower architecture. Electronic Transactions on Artificial Intelligence, 5B:99–110, 2001.

    Google Scholar 

  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.

    Google Scholar 

  14. Stuart Russell and Peter Norvig. Artificial Intelligence. A Modern Approach. Prentice-Hall, 1995.

    Google Scholar 

  15. Erik Sandewall. Combining logic and differential equations for describing real-world systems. In Proc. International Conference on Knowledge Representation, Toronto, Canada, 1989.

    Google Scholar 

  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.

    Google Scholar 

  17. Erik Sandewall. Features and Fluents. The Representation of Knowledge about Dynamical Systems. Volume I. Oxford University Press, 1994.

    Google Scholar 

  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.

    MathSciNet  Google Scholar 

  20. Erik Sandewall. Cognitive robotics logic and its metatheory: Features and fluents revisited. Electronic Transactions on Artificial Intelligence, 2:307–329, 1998.

    MathSciNet  Google Scholar 

  21. Erik Sandewall. On the design of software individuals. Electronic Transactions on Artificial Intelligence, 5B:143–160, 2001.

    Google Scholar 

  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.

    Google Scholar 

  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.

    MathSciNet  Google Scholar 

  24. D. van Dalen. Logic and Structure. Springer Verlag, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, Linköping University, S-58183, Linköping, Sweden

    Erik Sandewall

Authors
  1. Erik Sandewall
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik IX, Technische Universität München, Orleansstr. 34, 81667, München, Germany

    Michael Beetz

  2. Fraunhofer-Institut, Autonome Intelligente Systeme (AIS), Schloss Birlinghoven, 53754, Sankt Augustin, Germany

    Joachim Hertzberg

  3. LAAS-CNRS, 7, Avenue du Colonel Roche, 31077, Toulouse cedex, France

    Malik Ghallab

  4. College of Engineering Dept. of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, 48019, USA

    Martha E. Pollack

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sandewall, E. (2002). Use of Cognitive Robotics Logic in a Double Helix Architecture for Autonomous Systems. In: Beetz, M., Hertzberg, J., Ghallab, M., Pollack, M.E. (eds) Advances in Plan-Based Control of Robotic Agents. Lecture Notes in Computer Science(), vol 2466. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-37724-7_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-37724-7_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00168-3

  • Online ISBN: 978-3-540-37724-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation