From logic programs updates to action description updates

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

doi:10.1007/11533092_4

From logic programs updates to action description updates

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 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 language	English
Title of host publication	Lecture Notes in Computer Science
Pages	52-77
Number of pages	26
Volume	3487 LNAI
DOIs	https://doi.org/10.1007/11533092_4
Publication status	Published - 2005
Event	Computational Logic in Multi-Agent Systems (CLIMA) - Duration: 1 Jan 2004 → …

Conference

Conference	Computational Logic in Multi-Agent Systems (CLIMA)
Period	1/01/04 → …

Keywords

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

Access to Document

10.1007/11533092_4

Cite this

@inproceedings{48b40f96eb254a03a741064e99d385d0,

title = "From logic programs updates to action description updates",

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",

keywords = "Artificial intelligence, action theories, Semantics, High level languages, Knowledge representation, Logic programming",

author = "Alferes, {Jos{\'e} J{\'u}lio Alves} and Federico Banti and Antonio Brogi",

year = "2005",

doi = "10.1007/11533092_4",

language = "English",

isbn = "3-540-28060-X",

volume = "3487 LNAI",

pages = "52--77",

booktitle = "Lecture Notes in Computer Science",

note = "Computational Logic in Multi-Agent Systems (CLIMA) ; Conference date: 01-01-2004",

}

TY - GEN

T1 - From logic programs updates to action description updates

AU - Alferes, José Júlio Alves

AU - Banti, Federico

AU - Brogi, Antonio

PY - 2005

Y1 - 2005

N2 - 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

AB - 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

KW - Artificial intelligence

KW - action theories

KW - Semantics

KW - High level languages

KW - Knowledge representation

KW - Logic programming

UR - http://www.scopus.com/record/display.uri?eid=2-s2.0-26844514986&origin=resultslist&sort=plf-f&src=s&st1

U2 - 10.1007/11533092_4

DO - 10.1007/11533092_4

M3 - Conference contribution

SN - 3-540-28060-X

VL - 3487 LNAI

SP - 52

EP - 77

BT - Lecture Notes in Computer Science

T2 - Computational Logic in Multi-Agent Systems (CLIMA)

Y2 - 1 January 2004

ER -

From logic programs updates to action description updates

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this