From logic programs updates to action description updates

Authors:
José Júlio Alferes;Federico Banti;Antonio Brogi
Affiliations:
CENTRIA, Universidade Nova de Lisboa, Portugal;CENTRIA, Universidade Nova de Lisboa, Portugal;Dipartimento di Informatica, Università di Pisa, Italy
Venue:
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Year:
2004

Citing 13
Cited 7

Nonmonotonic logic and temporal projection

Artificial Intelligence
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Mathematical logic in artificial intelligence

The artificial intelligence debate: false starts, real foundations
Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
An action language based on causal explanation: preliminary report

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Disjunctive logic programs with inheritance

Proceedings of the 1999 international conference on Logic programming
LUPS---a language for updating logic programs

Artificial Intelligence
Generalizing Updates: From Models to Programs

LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Evolving Logic Programs

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
On properties of update sequences based on causal rejection

Theory and Practice of Logic Programming
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Describing additive fluents in action language C+

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A framework for declarative update specifications in logic programs

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Comparing action descriptions based on semantic preferences

Annals of Mathematics and Artificial Intelligence
Evolving Logic Programming Based Agents with Temporal Operators

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Updating action domain descriptions

Artificial Intelligence
Evolving logic programs with temporal operators

Logic programming, knowledge representation, and nonmonotonic reasoning
The well supported semantics for multidimensional dynamic logic programs

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Operational semantics for DyLPs

EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Playing with rules

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies

Quantified Score

Hi-index	0.00

Visualization

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 programs written in such languages being usually called action programs. Logic programming 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 such feature is that Evolp action programs can easily express changes in the rules of the domains, including rules describing changes.