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