Chapter

Logic Programs, Norms and Action

Volume 7360 of the series Lecture Notes in Computer Science pp 12-32

Teleo-Reactive Abductive Logic Programs

  • Robert A. KowalskiAffiliated withImperial College London
  • , Fariba SadriAffiliated withImperial College London

* Final gross prices may vary according to local VAT.

Get Access

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