KQML as an agent communication language
Software agents
International Journal of Human-Computer Studies - Special issue on collaboration, cooperation and conflict in dialogue systems
An analysis of formal inter-agent dialogues
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Iterated belief change in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
A Logical Approach for Describing (Dis)Belief Change and Message Processing
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
We investigate the dynamics of nested beliefs in the context of agent interactions. Nested beliefs represent what agents believe about the beliefs of other agents. We consider the tell KQML performative which allows agents to send their own beliefs to others. Whenever agents accept a new belief, or refuse to change their own beliefs after receiving a message, both receiver and sender enrich their nested beliefs by refining their beliefs about the other agent's beliefs, as well as the preferences of the other agent. The main objective of nested beliefs is to improve cooperation between agents. We propose a logical framework for the acquisition process of nested beliefs and preferences. This acquisition process is the first step toward the elaboration of sophisticated interaction protocols. In this short paper we provide an informal outline of the framework, guided by an intuitive running example.