On the logic of iterated belief revision
Artificial Intelligence
KQML as an agent communication language
Software agents
On the logic of iterated non-prioritised revision
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Mutual enrichment through nested belief change
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A modal framework for relating belief and signed information
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
(Dis)Belief change based on messages processing
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
This paper focuses on the features of two KQML performatives, namely tell and untell, in the context of nonprioritized belief change. Tell allows agents to send beliefs while untell allows agents to send explicit disbeliefs. In a multi agent system, agents have to change their belief when they receive new information from other agents. They may revise or contract their belief state accordingly. The revision action consists of inserting a new belief in a beliefs set while the contraction action consists of managing a set of disbeliefs. Whenever incoming information entails inconsistencies in an agentýs belief state, the agent must either drop some beliefs or refuse the incoming statement. For this, agents consider a preference relation over other agents embedded in the multi agent system and may reject new information based on their belief state and their preference relation. In this article, we survey a logic-based framework for handling messages and (dis)beliefs change. In this context, we formally describe the consequences of tell and untell performatives.