Skip to main content
SpringerLink
Log in

Teleo-Reactive Abductive Logic Programs

  • Chapter
Logic Programs, Norms and Action

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

Abstract

Teleo-reactive (TR) programs are a variety of production systems with a destructively updated database that represents the current state of the environment. They combine proactive behaviour, which is goal-oriented, with reactive behaviour, which is sensitive to the changing environment. They can take advantage of situations in which the environment opportunistically solves the system’s goals, recover gracefully when the environment destroys solutions of its goals, and abort durative actions when higher priority goals need more urgent attention.

In this paper, we present an abductive logic programming (ALP) representation of TR programs, following the example of our ALP representation of the logic-based production system language LPS. The operational semantics of the representation employs a destructively updated database, which represents the current state of the environment, and avoids the frame problem of explicitly reasoning about the persistence of facts that are not affected by the updates. The model-theoretic semantics of the representation is defined by associating a logic program with the TR program, the sequence of observations and actions, and the succession of database states. In the semantics, the task is to generate actions so that all of the program’s goals are true in a minimal model of this associated logic program.

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 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bonner, Kifer, M.: Transaction logic programming. In: Warren, D.S. (ed.) Proc. of the 10th International Conf. on Logic Programming, pp. 257–279 (1993)

    Google Scholar 

  2. Brooks, R.A.: Intelligence Without Representation. Artificial Intelligence 47, 139–159 (1991)

    Article  Google Scholar 

  3. Coffey, S., Clark, K.L.: A Hybrid, Teleo-Reactive Architecture for Robot Control. In: Proceedings of the Second International Workshop on Multi-Agent Robotic Systems, MARS 2006 (2006)

    Google Scholar 

  4. Gordon, E., Logan, B.: Game Over: You have been beaten by a GRUE. In: Challenges in Game Artificial Intelligence: AAAI Workshop (2004)

    Google Scholar 

  5. Gubisch, G., Steinbauer, G., Weiglhofer, M., Wotawa, F.: A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. In: Nguyen, N.T., Borzemski, L., Grzech, A., Ali, M. (eds.) IEA/AIE 2008. LNCS (LNAI), vol. 5027, pp. 541–550. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Hayes, I.J.: Towards Reasoning About Teleo-reactive Programs for Robust Real-time Systems. In: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems (SERENE), pp. 87–94 (2008)

    Google Scholar 

  7. Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press (2011)

    Google Scholar 

  8. Kowalski, R., Sadri, F.: From Logic Programming Towards Multi-agent Systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  9. Kowalski, R., Sadri, F.: An Agent Language with Destructive Assignment and Model-Theoretic Semantics. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol. 6245, pp. 200–218. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  10. Kowalski, R., Sadri, F.: Abductive Logic Programming Agents with Destructive Databases. Annals of Mathematics and Artificial Intelligence 62(1), 129–158 (2011)

    Article  MATH  Google Scholar 

  11. Kowalski, R., Sergot, M.: A Logic-based Calculus of Events. New Generation Computing 4(1), 67–95 (1986); Inderjeet Mani, J., Pustejovsky, Gaizauskas, R. (eds.) Also in The Language of Time: A Reader. Oxford University Press (2005)

    Article  Google Scholar 

  12. Luckham, D.: The Power of Events - An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley (2002)

    Google Scholar 

  13. Marinovic, S., Twidle, K., Dulay, N.: Teleo-reactive Workflows for Pervasive Healthcare. In: First IEEE PerCom Workshop on Pervasive Healthcare (2010)

    Google Scholar 

  14. Nilsson, N.: Toward Agent Programs with Circuit Semantics, Technical Report STAN-CS-92-1412, Stanford University Computer Science Department (1992)

    Google Scholar 

  15. Nilsson, N.J.: Teleo-reactive Programs for Agent Control. Journal of Artificial Intelligence Research cs.AI 9401, 139–158 (January 1994)

    Google Scholar 

  16. Nilsson, N.J.: Teleo-reactive Programs and the Triple-tower Architecture. Electronic Transactions on Artificial Intelligence 5(Section B), 99–110 (2001)

    Google Scholar 

  17. Przynusinski, T.: On the Declarative and Procedural Semantics. Journal of Automated Reasoning 5, 167–295 (1989)

    MathSciNet  Google Scholar 

  18. Przymusinski, T.: On the Declarative and Procedural Semantics of Stratified Deductive Databases. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 193–216. Morgan Kaufmann, Los Altos (1988)

    Google Scholar 

  19. Rao, A.S., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: International Conference on Multiagent Systems, ICMAS, pp. 312–319 (1995)

    Google Scholar 

  20. Reiter, R.: Knowledge in Action. MIT Press (2001)

    Google Scholar 

  21. Sagonas, K.F., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. Sigmod Record 23(2), 442–453 (1994)

    Article  Google Scholar 

  22. Wu, E., Diao, Y., Rizvi, S.: High-Performance Complex Event Processing Over Streams. In: SIGMOD, Chicago, Illinois, USA, pp. 407–418 (2006)

    Google Scholar 

  23. Broda, K., Hogger, C.J.: Designing and Simulating Individual Teleo-Reactive Agents. Poster Proceedings, 27th German Conference on Artificial Intelligence (2004)

    Google Scholar 

  24. Kowalski, R., Sadri, F.: Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol. 5837, pp. 1–23. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  25. van Emden, M., Kowalski, R.: The Semantics of Predicate Logic as a Programming Language. JACM 23(4), 733–742 (1976)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Imperial College London, UK

    Robert A. Kowalski & Fariba Sadri

Authors
  1. Robert A. Kowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fariba Sadri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software and Knowledge Engineering Laboratory, Institute of Informatics and Telecommunications, National Centre for Scientific Research ’Demokritos’, 15310, Athens, Greece

    Alexander Artikis

  2. Department of Computing, Imperial College London, 180 Queen’s Gate, SW7 2AZ, London, UK

    Robert Craven

  3. Department of Computer Engineering, Middle East Technical University, Dumlupınar Bulvarı No. 1, 06800, Çankaya, Ankara, Turkey

    Nihan Kesim Çiçekli

  4. Axiomatics AB, Box 2157, 103 14, Stockholm, Sweden

    Babak Sadighi

  5. Royal Holloway, University of London, UK

    Kostas Stathis

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Kowalski, R.A., Sadri, F. (2012). Teleo-Reactive Abductive Logic Programs. In: Artikis, A., Craven, R., Kesim Çiçekli, N., Sadighi, B., Stathis, K. (eds) Logic Programs, Norms and Action. Lecture Notes in Computer Science(), vol 7360. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29414-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29414-3_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29413-6

  • Online ISBN: 978-3-642-29414-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation