Evolving Logic Programming Based Agents with Temporal Operators

11 years 7 months ago
Evolving Logic Programming Based Agents with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (facts) as well as intentional knowledge (rules) may change over time due to updates, with important application Multi-Agent Systems (MAS). Despite their generality, these languages do not provide means to directly access past states of the evolving knowledge. They only allow for so-called Markovian changes i.e. changes determined entirely by the current state. This is a drawback in several situation. In this paper, after motivating the need for nonMarkovian changes, we extend EVOLP – The Logic Programming Update Language at the heart of an existing MAS – with LTL-like temporal operators that allow referring to the history of the evolving agent. We then show that with
José Júlio Alferes, Alfredo Gabaldon
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where IAT
Authors José Júlio Alferes, Alfredo Gabaldon, João Leite
Comments (0)