Towards Practical Argumentation in Multi-agent Systems

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 i...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2015 Brazilian Conference on Intelligent Systems (BRACIS) s. 98 - 103
Hlavní autoři: Panisson, Alison R., Meneguzzi, Felipe, Vieira, Renata, Bordin, Rafael H.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.11.2015
Témata:
Agent-oriented programming languages
Argumentation
Cognition
Computer languages
Context
Formal semantics
Multi-agent systems
Receivers
Semantics
Speech
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
DOI:10.1109/BRACIS.2015.30