Teleo-Reactive Abductive Logic Programs

  • Robert A. Kowalski
  • Fariba Sadri
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

teleo-reactive programs abductive logic programming production systems LPS 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Brooks, R.A.: Intelligence Without Representation. Artificial Intelligence 47, 139–159 (1991)CrossRefGoogle Scholar
  3. 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. 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. 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)CrossRefGoogle Scholar
  6. 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. 7.
    Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press (2011)Google Scholar
  8. 8.
    Kowalski, R., Sadri, F.: From Logic Programming Towards Multi-agent Systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)MathSciNetMATHCrossRefGoogle Scholar
  9. 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)CrossRefGoogle Scholar
  10. 10.
    Kowalski, R., Sadri, F.: Abductive Logic Programming Agents with Destructive Databases. Annals of Mathematics and Artificial Intelligence 62(1), 129–158 (2011)MATHCrossRefGoogle Scholar
  11. 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) CrossRefGoogle Scholar
  12. 12.
    Luckham, D.: The Power of Events - An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley (2002)Google Scholar
  13. 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. 14.
    Nilsson, N.: Toward Agent Programs with Circuit Semantics, Technical Report STAN-CS-92-1412, Stanford University Computer Science Department (1992)Google Scholar
  15. 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. 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. 17.
    Przynusinski, T.: On the Declarative and Procedural Semantics. Journal of Automated Reasoning 5, 167–295 (1989)MathSciNetGoogle Scholar
  18. 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. 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. 20.
    Reiter, R.: Knowledge in Action. MIT Press (2001)Google Scholar
  21. 21.
    Sagonas, K.F., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. Sigmod Record 23(2), 442–453 (1994)CrossRefGoogle Scholar
  22. 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. 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. 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)CrossRefGoogle Scholar
  25. 25.
    van Emden, M., Kowalski, R.: The Semantics of Predicate Logic as a Programming Language. JACM 23(4), 733–742 (1976)MATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Robert A. Kowalski
    • 1
  • Fariba Sadri
    • 1
  1. 1.Imperial College LondonUK

Personalised recommendations