Skip to main content
SpringerLink
Log in

Case Studies in Cognitive Robotics

  • Chapter
Human and Machine Perception 3

  • 94 Accesses

Abstract

Cognitive Robotics is concerned with the theory and implementation of embodied intelligent agents. Cognitive Robotics poses a unique challenge to researchers: it deals in fact with manufacts that are inherently autonomous, situated in a not structured environment, and whose behavior is characterized by a cycle “Perception-Reasoning-Action” or “Sense-Plan-Act” (sometimes called SPA architectures). Of course this cycle has to be performed reliably, and in real time. Sensing, planning and acting are difficult problems to be solved, per se. Their integration within a single system poses additional challenges.

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Kortenkamp, R.P. Bonasso, and R. Murphy eds., Artificial Intelligence and Mobile Robots: Case Studies of Sucessful Robot Systems, AAAI Press/The MIT Press (1998).

    Google Scholar 

  2. R. Fikes and N. Nilsson, STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence Journal, 2(3-4): 189–208, (1971).

    Article  MATH  Google Scholar 

  3. P. Hart, N. Nilsson, and B. Raphael, A Formal Basis for the Heuristic Determination of Minimun Cost Paths,IEEE Transactions on Systems Science and Cybernetics, SSC-4(2): 100–107, (1968).

    Article  Google Scholar 

  4. R.A. Brooks, A Robust Layered Control System for a Mobile Robot, IEEE Transactions on Robotics and Automation, 2(l):14–23, (1986).

    Google Scholar 

  5. R.A. Brooks, Intelligence without Representation, Artificial Intelligence Journal, 47:139–159, (1991).

    Article  Google Scholar 

  6. R.A. Brooks, Intelligence without Reason, IJCAI 91, pages 569–595, (1991).

    Google Scholar 

  7. R. Reiter, The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression, in V. Lifschitz ed.. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380, Academic Press, San Diego, CA, (1991).

    Chapter  Google Scholar 

  8. R. Reiter, Proving Properties of States in the Situation Calculus, Artificial Intelligence Journal, 64:337–351, (1993).

    Article  MathSciNet  MATH  Google Scholar 

  9. H. Levesque, What is Planning in the Presence of Sensing? AAAI 96, (1996).

    Google Scholar 

  10. Y. Lesperance, An Approach to the Synthesis of Plans with Perception Acts and Conditionals, Technical report, Department of Computer Science, University of Toronto, (1996).

    Google Scholar 

  11. H. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl, GOLOG: a Logic Programming Language for Dynamic Domains, J. of Logic Programming, Special Issue on Actions, 31(l-3):59–83, (1997).

    Article  MATH  Google Scholar 

  12. H. Levesque, F. Pirri, R. Reiter, Foundations for the Situation Calculus, ETAI, 3(18), (1998).

    Google Scholar 

  13. G. De Giacomo and H. Levesque, An Incremental Interpreter for High-level Programs with Sensing, in H. 12. Levesque and F. Pirri eds., Logical Foundations for Cognitive Agents, Springer Verlag, AI series, pages 86–102, (1999).

    Google Scholar 

  14. F. Pirri and R. Reiter, Some contributions to the metatheory of the Situation Calculus, Journal of the ACM, 46(3): 325–362, (1999).

    Article  MathSciNet  MATH  Google Scholar 

  15. R. Reiter, Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems, Unpublished draft, 2001.

    Google Scholar 

  16. W. Burgard, A.B. Cremer, D. Fox, D. Hähnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun, The Interactive Museum Tour-Guide Robot, in AAAI 98, (1998).

    Google Scholar 

  17. G. Lakemeyer, On Sensing and Off-line Interpreting in GOLOG, in H. Levesque and F. Pirri eds., Logical Foundations for Cognitive Agents, Springer Verlag, AI series, pages 173–189, (1999).

    Chapter  Google Scholar 

  18. E. Sandewall, Features and Fuents, Oxford University Press, (1994).

    Google Scholar 

  19. M. Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, (1997).

    Google Scholar 

  20. G. De Giacomo, L. Iocchi, D. Nardi, and R. Rosati, A theory and implementation for mobile robots, Journal of Logic and Computation, (1999).

    Google Scholar 

  21. L. Iocchi, D. Nardi, and R. Rosati, Planning with sensing, concurrency, and exogenous events: logical framework and implementation, in Proceedings of KR 2000 (Principles of Knowledge Representation and Reasoning), Breckenridge, Colorado, USA, Morgan Kaufmann, pages 678–689, April 2000.

    Google Scholar 

  22. A. Finzi, F. Pirri and R. Reiter, Open World Planning in the Situation Calculus, in AAAI 00, (2000).

    Google Scholar 

  23. F. Pirri and A. Finzi, An approach to perception in theory of actions: Part I, ETAI, 4, (1999).

    Google Scholar 

  24. F. Pirri and R. Reiter, Planning with natural actions in the situation calculus, in J. Minker ed., Logic-Based Artificial Intelligence, Kluwer, (2000).

    Google Scholar 

  25. D.S. Weld, Recent Advances in AI Planning, Artificial Intelligence Magazine, Summer 1999: 93-123.

    Google Scholar 

  26. J. McCarthy and P. Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, in B. Meltzer and D. Michie eds., Machine Intelligence, volume 4, pages 463–502, Edinburgh University Press, Edinburgh, Scotland, (1969).

    Google Scholar 

  27. C. Green, Theorem Proving by Resolution as a Basis for Question Answering Systems, in B. Meltzer and D. Michie eds., Machine Intelligence, volume 4, pages 183–205, Edinburgh University Press, Edinburgh, Scotland, (1969).

    Google Scholar 

  28. C. Green, Application of Theorem Proving to Problem Solving, IJCAI 69, (1969).

    Google Scholar 

  29. G. Piazzolla, M. Vaccaro, A. Finzi and F. Pirri, ArmHandO: a mobile manipulator for the blocks world, ECAI Workshop on Cognitive Robotics, Bonn, (2000).

    Google Scholar 

  30. A. Finzi, F. Pirri and M. Schaerf, A System Integrating high and low level planning of complex tasks with a 3 dimensional visualizer, SAIRAS 99, pages 521–528, (1999).

    Google Scholar 

  31. S. Cameron, Dealing with geometric complexity in motion planning, IEEE Transactions on Robotics & Automation, April 1996.

    Google Scholar 

  32. D. Nardi, Artificial Intelligence in Robocup, in ECAI 00, Springer-Verlag, (2000).

    Google Scholar 

  33. RoboCup. The Robot World Cup Initiative, Robocup officiale site, http://www.robocup.org.

    Google Scholar 

  34. H. Kitano, M. Asada, Y. Kuniyoshi, I. Noda, E. Osawa, and H. Matsubara, Robocup: A challenge problem for AI, Artificial Intelligence Magazine, 18:73–85, (1997).

    Google Scholar 

  35. I. Noda, S. Suzuki, H. Matsubara, M. Asada, and H. Kitano, Robocup-97 the first robot world cup soccer games and conferences, Artificial Intelligence Magazine, 19(3):49–59, (1998).

    Google Scholar 

  36. M. Asada, M. Veloso, M. Tambe, I. Noda, H. Kitano, and G. Kraetzschmar, Overview of robocup-98, in M. Asada and H. Kitano eds., RoboCup-98: The Robot World Cup II, volume 1604 of Lecture Notes in Computer Science, pages 1–21, Springer-Verlag, (1999).

    Google Scholar 

  37. S. Coradeschi, L. Karlsson, P. Stone, T. Balch, G. Kraetzschmar, and M. Asada, Overview of RoboCup-99, Artificial Intelligence Magazine, (2000).

    Google Scholar 

  38. S. Coradeschi and L. Karlsson, Robocup-99 final report, Technical report, RoboCup, The Robot World Cup Initiative, November 1999.

    Google Scholar 

  39. M. Asada, H. Kitano, I. Noda, and M. Veloso, Robocup: Today and tomorrow - What we have have learned, Artificial Intelligence Journal, 110:193–214, (1999).

    Article  MATH  Google Scholar 

  40. L. Iocchi, Design and Development of Cognitive Robots, PhD thesis, DIS, Univ. “La Sapienza”, Roma, Italy, (1999).

    Google Scholar 

  41. K. Konolige, K.L. Myers, E.H. Ruspini, and A. Saffiotti, The Saphira architecture: A design for autonomy, Journal of Experimental and Theoretical Artificial Intelligence, 9(l):215–235, (1997).

    Article  Google Scholar 

  42. D. Nardi, G. Clemente, and E. Pagello, ART: Azzurra Robot Team, in RoboCup-98: The Robot World Cup II, Springer-Verlag, (1999).

    Google Scholar 

  43. D. Nardi, G. Adorni, A. Bonarini, A. Chella, G. Clemente, E. Pagello, and M. Piaggio, ART-99: Azzurra Robot Team, in Proceedings of the RoboCup-99 Workshop, Springer-Verlag, Stockholm, Sweden, 1999.

    Google Scholar 

  44. P. Stone and M. Veloso, Task decomposition, dynamic role assignment, and low-bandwidth communication for real-time strategic teamwork, Artificial Intelligence Journal, 110(2):241–273, (1999).

    Article  MATH  Google Scholar 

  45. C. Castelpietra, L. Iocchi, D. Nardi, M. Piaggio, A. Scalzo, and A. Sgorbissa, Coordination among heterogeneous robotic soccer players, in Proceedings of IEEE IROS (International Conference on Intelligent Robots and Systems), Takamatsu, Japan, IEEE/RJS, November 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. di Informatica e Sistemistica, Università di Roma “La Sapienza”, Italy

    Luigia Carlucci Aiello, Daniele Nardi & Fiora Pirri

Authors
  1. Luigia Carlucci Aiello
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniele Nardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fiora Pirri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Pavia, Pavia, Italy

    Virginio Cantoni  & Alessandra Setti  & 

  2. University of Palermo, Palermo, Italy

    Vito Di Gesù  & Domenico Tegolo  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer Science+Business Media New York

About this chapter

Cite this chapter

Aiello, L.C., Nardi, D., Pirri, F. (2001). Case Studies in Cognitive Robotics. In: Cantoni, V., Di Gesù, V., Setti, A., Tegolo, D. (eds) Human and Machine Perception 3. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1361-2_15

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-1361-2_15

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-5516-8

  • Online ISBN: 978-1-4615-1361-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation