From logic programs updates to action description updates

José Júlio Alves Alferes, Federico Banti, Antonio Brogi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

An important branch of investigation in the field of agents has been the definition of high level languages for representing effects of actions, the pro- grams written in such languages being usually called action programs. Logic pro- gramming is an important area in the field of knowledge representation and some languages for specifying updates of Logic Programs had been defined. Starting from the update language Evolp, in this work we propose a new paradigm for reasoning about actions called Evolp action programs. We provide translations of some of the most known action description languages into Evolp action programs, and underline some peculiar features of this newly defined paradigm. One of such feature is that Evolp action programs can easily express changes in the rules of the domains, including rules describing changes
Original languageEnglish
Title of host publicationLecture Notes in Computer Science
Pages52-77
Number of pages26
Volume3487 LNAI
DOIs
Publication statusPublished - 2005
EventComputational Logic in Multi-Agent Systems (CLIMA) -
Duration: 1 Jan 2004 → …

Conference

ConferenceComputational Logic in Multi-Agent Systems (CLIMA)
Period1/01/04 → …

Keywords

  • Artificial intelligence
  • action theories
  • Semantics
  • High level languages
  • Knowledge representation
  • Logic programming

Fingerprint Dive into the research topics of 'From logic programs updates to action description updates'. Together they form a unique fingerprint.

  • Cite this

    Alferes, J. J. A., Banti, F., & Brogi, A. (2005). From logic programs updates to action description updates. In Lecture Notes in Computer Science (Vol. 3487 LNAI, pp. 52-77) https://doi.org/10.1007/11533092_4