License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.08361.8
URN: urn:nbn:de:0030-drops-16402
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1640/
Go to the corresponding Portal

Alferes, José J. ; Gabaldon Alfredo ; Leite, João A.

Non-Markovian Agent Evolution with EVOLP

pdf-format:
08361.LeiteJoao.Paper.1640.pdf (0.2 MB)

Abstract

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 non-Markovian 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 a suitable introduction of new propositional variables it is possible to embed the extended EVOLP into the original one, thus demonstrating that EVOLP itself can already be used for non-Markovian changes. While showing how to use EVOLP for encoding non-Markovian changes, this embedding sheds light into the relationship between Logic Programming Update Languages and Modal Temporal Logics, of particular importance in MAS.

BibTeX - Entry

@InProceedings{alferes_et_al:DagSemProc.08361.8,
  author =	{Alferes, Jos\'{e} J. and Gabaldon Alfredo and Leite, Jo\~{a}o A.},
  title =	{{Non-Markovian Agent Evolution with EVOLP}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2008/1640},
  URN =		{urn:nbn:de:0030-drops-16402},
  doi =		{10.4230/DagSemProc.08361.8},
  annote =	{Keywords: EVOLP, Evolution, Logic Programming}
}

Keywords: EVOLP, Evolution, Logic Programming
Collection: 08361 - Programming Multi-Agent Systems
Issue Date: 2008
Date of publication: 04.11.2008

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI