Towards practical argumentation in multi-agent systems

Alison R. Panisson, Felipe Meneguzzi, Renata Vieira, Rafael H. Bordin

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

9 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 2015 Brazilian Conference on Intelligent Systems, BRACIS 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages98-103
Number of pages6
ISBN (Electronic)9781509000166
DOIs
Publication statusPublished - 2 Mar 2016
Event4th Brazilian Conference on Intelligent Systems, BRACIS 2015 - Natal, Brazil
Duration: 4 Nov 20157 Nov 2015

Conference

Conference4th Brazilian Conference on Intelligent Systems, BRACIS 2015
Country/TerritoryBrazil
CityNatal
Period4/11/157/11/15

Keywords

  • Agent-oriented programming languages
  • Argumentation
  • Formal semantics

Fingerprint

Dive into the research topics of 'Towards practical argumentation in multi-agent systems'. Together they form a unique fingerprint.

Cite this