Argumentation is a key technique for reaching agreements in multi-agent systems. However, there are few practical approaches to develop multi-agent systems where agents engage in argumentation-based dialogues. In this paper, we give formal semantics to speech acts for argumentation-based dialogues in the context of an agent-oriented programming language. Our approach uses operational semantics and builds upon existing work that provides computationally grounded semantics for agent mental attitudes such as beliefs and goals. The paper also shows how our formal semantics can be used to prove properties of argumentation in multi-agent systems with direct reference to mental attitudes. We do so with an example of a proof sketch of termination of multi-agent dialogues under certain assumptions.
|Title of host publication||Proceedings - 2015 Brazilian Conference on Intelligent Systems, BRACIS 2015|
|Publisher||Institute of Electrical and Electronics Engineers Inc.|
|Number of pages||6|
|Publication status||Published - 2 Mar 2016|
|Event||4th Brazilian Conference on Intelligent Systems, BRACIS 2015 - Natal, Brazil|
Duration: 4 Nov 2015 → 7 Nov 2015
|Conference||4th Brazilian Conference on Intelligent Systems, BRACIS 2015|
|Period||4/11/15 → 7/11/15|
Part of the results presented in this paper were obtained through research on a project titled “Semantic and Multi-Agent Technologies for Group Interaction”, sponsored by Samsung Eletrônica da Amazônia Ltda. under the terms of Brazilian federal law No. 8.248/91.
© 2015 IEEE.
- Agent-oriented programming languages
- Formal semantics