Preferred answer sets for extended logic programs
Artificial Intelligence
On agent-based software engineering
Artificial Intelligence
Artificial Intelligence - Special issue on Intelligent internet systems
A formal model of open agent societies
Proceedings of the fifth international conference on Autonomous agents
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
A Distributed Approach to Design Open Multi-agent Systems
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Categories of Artificial Societies
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Organisational Abstractions for the Analysis and Design of Multi-agent Systems
Agent-Oriented Software Engineering
Enabling Agents to Update Their Knowledge and to Prefer
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
A Logical Framework for Modelling eMAS
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Weighted multi dimensional logic programs
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
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 react to the environment, is able to prefer, whether beliefs or reactions, when several alternatives are possible, and is able to abduce hypotheses to explain observations. The knowledge state of an agent is represented by an updatable prioritized abductive logic program, in which priorities among rules can be expressed to allow the agent to prefer. We sketch two examples to illustrate how our approach functions, including how to prefer abducibles to tackle the problem of multiple hypotheses and how to perform the interplay between planning and acting.We argue that the theory of the type of agents considered is a rich evolvable basis, and suitable for engineering configurable, dynamic, self-organizing and self-evolving agent societies.