Skip to main content
SpringerLink
Log in

Reinventing Shakey

  • Chapter
Logic-Based Artificial Intelligence

Part of the book series: The Springer International Series in Engineering and Computer Science ((SECS,volume 597))

Abstract

This paper describes the logical foundations of an implemented system which employs resolution-based theorem proving techniques for high-level robot control. The paper offers complementary logical characterizations of perception and planning, and shows how sensing, planning and acting are interleaved to control a real robot.

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

  • Baral, C. and Tran, S. C. (1998). Relating theories of actions and reactive control. Linköping Electronic Articles in Computer and Information Science, 3(9).

    Google Scholar 

    Google Scholar 

  • Brooks, R. A. (1991). Intelligence without reason. In Proceedings 1991 International Joint Conference on Artificial Intelligence (IJCAI 91), pages 569–595. Morgan Kaufmann.

    Google Scholar 

  • DeGiacomo, G., Lespérance, Y., and Levesque, H. (1997). Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings 1997 International Joint Conference on Artificial Intelligence (IJCAI 97), pages 1221–1226. Morgan Kaufmann.

    Google Scholar 

  • DeGiacomo, G., Reiter, R., and Soutchanski, M. (1998). Execution monitoring of high-level robot programs. In Proceedings 1998 Knowledge Representation Conference (KR 98), pages 453–464. Morgan Kaufmann.

    Google Scholar 

  • Fikes, R. E. and Nilsson, N.J. (1971). Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189–208.

    Article  MATH  Google Scholar 

  • Green, C. (1969). Applications of theorem proving to problem solving. In Proceedings 1969 International Joint Conference on Artificial Intelligence (IJCAI 69), pages 219–240.

    Google Scholar 

  • Kautz, H. and Selman, B. (1996). Pushing the envelope: Propositional logic and stochastic search. In Proceedings 1996 American Association for Artificial Intelligence Conference (AAAI 96), pages 1194–1201. MIT Press.

    Google Scholar 

  • Lespérance, Y., Levesque, H. J., Lin, F., Marcu, D., Reiter, R., and Scherl, R. B. (1994). A logical approach to high-level robot programming: A progress report. In B. Kuipers, editor, Control of the Physical World by Intelligent Systems: Papers from the 1994 American AAAI Fall Symposium, page 7985.

    Google Scholar 

  • Levesque, H., Reiter, R., Lespérance, Y., Lin, F., and Scherl, R. B. (1997). Golog: A logic programming language for dynamic domains. The Journal of Logic Programming, 31:59–83.

    Article  MATH  Google Scholar 

  • Lifschitz, V. (1994). Circumscription. In Gabbay, D. M., Hogger, C. J., and Robinson, J. A., editors, The Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, pages 297–352. Oxford University Press.

    Google Scholar 

  • Nilsson, N. (1984). Shakey the robot. Technical Report 323, SRI International, Menlo Park, California.

    Google Scholar 

  • Shanahan, M. P. (1997a). Event calculus planning revisited. In Proceedings 4th European Conference on Planning (ECP 97), number 1348 in Springer-Verlag Lecture Notes in Artificial Intelligence, pages 390–402. Springer-Verlag.

    Google Scholar 

  • Shanahan, M. P. (1997b). Noise, non-determinism and spatial uncertainty. In Proceedings 1996 American Association for Artificial Intelligence Conference (AAAI 97), pages 153–158. MIT Press.

    Google Scholar 

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

    Google Scholar 

  • Shanahan, M. P. (1999). The event calculus explained. In Wooldridge, M. J. and Veloso, M., editors, Artificial Intelligence Today, number 1600 in Springer-Verlag Lecture Notes in Artificial Intelligence, pages 409–430. Springer-Verlag.

    Google Scholar 

  • Shanahan, M. P. (2000). An abductive event calculus planner. The Journal of Logic Programming. To appear.

    Google Scholar 

  • Shanahan, M. P. and Witkowski, M. (2000). Event calculus planning through satisfiability. Unpublished.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Electronic Engineering, Imperial College, Exhibition Road, London, SW7 2BT, England

    Murray Shanahan

Authors
  1. Murray Shanahan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Advanced Computer Studies and Department of Computer Science, University of Maryland, USA

    Jack Minker

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer Science+Business Media New York

About this chapter

Cite this chapter

Shanahan, M. (2000). Reinventing Shakey. In: Minker, J. (eds) Logic-Based Artificial Intelligence. The Springer International Series in Engineering and Computer Science, vol 597. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-1567-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-1567-8_11

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-5618-9

  • Online ISBN: 978-1-4615-1567-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation