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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bonner, Kifer, M.: Transaction logic programming. In: Warren, D.S. (ed.) Proc. of the 10th International Conf. on Logic Programming, pp. 257–279 (1993)
Brooks, R.A.: Intelligence Without Representation. Artificial Intelligence 47, 139–159 (1991)
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)
Gordon, E., Logan, B.: Game Over: You have been beaten by a GRUE. In: Challenges in Game Artificial Intelligence: AAAI Workshop (2004)
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)
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)
Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge University Press (2011)
Kowalski, R., Sadri, F.: From Logic Programming Towards Multi-agent Systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)
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)
Kowalski, R., Sadri, F.: Abductive Logic Programming Agents with Destructive Databases. Annals of Mathematics and Artificial Intelligence 62(1), 129–158 (2011)
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)
Luckham, D.: The Power of Events - An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley (2002)
Marinovic, S., Twidle, K., Dulay, N.: Teleo-reactive Workflows for Pervasive Healthcare. In: First IEEE PerCom Workshop on Pervasive Healthcare (2010)
Nilsson, N.: Toward Agent Programs with Circuit Semantics, Technical Report STAN-CS-92-1412, Stanford University Computer Science Department (1992)
Nilsson, N.J.: Teleo-reactive Programs for Agent Control. Journal of Artificial Intelligence Research cs.AI 9401, 139–158 (January 1994)
Nilsson, N.J.: Teleo-reactive Programs and the Triple-tower Architecture. Electronic Transactions on Artificial Intelligence 5(Section B), 99–110 (2001)
Przynusinski, T.: On the Declarative and Procedural Semantics. Journal of Automated Reasoning 5, 167–295 (1989)
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)
Rao, A.S., Georgeff, M.P.: BDI Agents: From Theory to Practice. In: International Conference on Multiagent Systems, ICMAS, pp. 312–319 (1995)
Reiter, R.: Knowledge in Action. MIT Press (2001)
Sagonas, K.F., Swift, T., Warren, D.S.: XSB as an Efficient Deductive Database Engine. Sigmod Record 23(2), 442–453 (1994)
Wu, E., Diao, Y., Rizvi, S.: High-Performance Complex Event Processing Over Streams. In: SIGMOD, Chicago, Illinois, USA, pp. 407–418 (2006)
Broda, K., Hogger, C.J.: Designing and Simulating Individual Teleo-Reactive Agents. Poster Proceedings, 27th German Conference on Artificial Intelligence (2004)
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)
van Emden, M., Kowalski, R.: The Semantics of Predicate Logic as a Programming Language. JACM 23(4), 733–742 (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)