On the Formal Semantics of Theory of Mind in Agent Communication

TY - CHAP

T1 - On the Formal Semantics of Theory of Mind in Agent Communication

AU - Panisson, Alison R.

AU - Sarkadi, Stefan

AU - McBurney, Peter John

AU - Parsons, Simon Dominic

AU - Bordini, Rafael H.

PY - 2018/12/6

Y1 - 2018/12/6

N2 - Recent studies have shown that applying Theory of Mind to agent technologies enables agents to model and reason about other agents' minds, making them more efficient than agents that do not have this ability or agents that have a more limited ability of modelling others' minds. Apart from the interesting results of combining Theory of Mind and agent technologies, an important premise has not been yet fully investigated in the AI literature: how do agents acquire and update their models of others' minds? In the context of multi-agent systems, one of the most natural ways in which agents can acquire models of other agents' mental attitudes is through communication. In this work, we propose an operational semantics for agents to update Theory of Mind through communication. We not only make our formalisation broadly applicable by defining a formal semantics based on components from the BDI architecture, but we also implement our approach in an agent-oriented programming language that is based on that architecture.

AB - Recent studies have shown that applying Theory of Mind to agent technologies enables agents to model and reason about other agents' minds, making them more efficient than agents that do not have this ability or agents that have a more limited ability of modelling others' minds. Apart from the interesting results of combining Theory of Mind and agent technologies, an important premise has not been yet fully investigated in the AI literature: how do agents acquire and update their models of others' minds? In the context of multi-agent systems, one of the most natural ways in which agents can acquire models of other agents' mental attitudes is through communication. In this work, we propose an operational semantics for agents to update Theory of Mind through communication. We not only make our formalisation broadly applicable by defining a formal semantics based on components from the BDI architecture, but we also implement our approach in an agent-oriented programming language that is based on that architecture.

KW - Theory of Mind

KW - Machine Theory of Mind

KW - Multi-Agent Systems

KW - Agent-Oriented Programming Languages

UR - https://link.springer.com/chapter/10.1007/978-3-030-17294-7_2

M3 - Conference paper

BT - Proceedings of the 6th International Conference on Agreement Technologies

ER -