Teleo-Reactive Abductive Logic Programs
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.
Keywordsteleo-reactive programs abductive logic programming production systems LPS
Unable to display preview. Download preview PDF.
- 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
- 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)CrossRefGoogle 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
- 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
- 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
- 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