mutual enrichment through nested belief change
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.
multi-agent systems reasoning about action belief revision