Preferring and updating in logic-based agents

Authors:
Pierangelo Dell'Acqua;Luís Moniz Pereira
Affiliations:
Dept. of Sci. and Technol. - ITN, Linköping Univ., Norrköping, Sweden and Centro de Inteligência Artificial - CENTRIA, Depo. de Informática, Fac. de Ciências e Tecnologia, ...;Centro de Inteligência Artificial - CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal
Venue:
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Year:
2001

Citing 8
Cited 4

Agent-oriented programming

Artificial Intelligence
Iterated logic program updates

JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Preferred answer sets for extended logic programs

Artificial Intelligence
Strategies in Combined Learning via Logic Programs

Machine Learning - Special issue on multistrategy learning
Intelligent Internet systems

Artificial Intelligence - Special issue on Intelligent internet systems
A Compilation of Updates plus Preferences

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Towards a Unified Agent Architecture that Combines Rationality with Reactivity

LID '96 Proceedings of the International Workshop on Logic in Databases
MINERVA - A Dynamic Logic Programming Agent Architecture

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII

A Logical Framework for Modelling eMAS

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources

Logic programming, knowledge representation, and nonmonotonic reasoning
Weighted multi dimensional logic programs

CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Preference revision via declarative debugging

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a logical framework and the declarative semantics of a multi-agent system in which each agent can communicate with and update other agents, can update its knowledge state, of its own initiative or when it receives new incoming information, and it is able to prefer beliefs and reactions, when several alternatives are possible. The knowledge state of an agent is represented by an updatable prioritized logic program, in which priorities among rules can be expressed to allow the agent to prefer, and where the preference relation itself can be updated as well. An example is developed to illustrate how our approach works, including how preferring can enhance reactivity in agents. Finally, we discuss some Web applications where our approach can have a significant potential to contribute, and refer to the work of others.