Towards practical argumentation in multi-agent systems

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

doi:10.1109/BRACIS.2015.30

Towards practical argumentation in multi-agent systems

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

Computing Science

Pontifícia Universidade Católica do Rio Grande do Sul

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

11 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 language	English
Title of host publication	Proceedings - 2015 Brazilian Conference on Intelligent Systems, BRACIS 2015
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	98-103
Number of pages	6
ISBN (Electronic)	9781509000166
DOIs	https://doi.org/10.1109/BRACIS.2015.30
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

Conference	4th Brazilian Conference on Intelligent Systems, BRACIS 2015
Country/Territory	Brazil
City	Natal
Period	4/11/15 → 7/11/15

Bibliographical note

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

Publisher Copyright:
© 2015 IEEE.

Keywords

Agent-oriented programming languages
Argumentation
Formal semantics

Access to Document

10.1109/BRACIS.2015.30

Cite this

Towards practical argumentation in multi-agent systems. / Panisson, Alison R.; Meneguzzi, Felipe; Vieira, Renata et al.
Proceedings - 2015 Brazilian Conference on Intelligent Systems, BRACIS 2015. Institute of Electrical and Electronics Engineers Inc., 2016. p. 98-103 7424002.

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

Panisson, AR, Meneguzzi, F, Vieira, R & Bordin, RH 2016, Towards practical argumentation in multi-agent systems. in Proceedings - 2015 Brazilian Conference on Intelligent Systems, BRACIS 2015., 7424002, Institute of Electrical and Electronics Engineers Inc., pp. 98-103, 4th Brazilian Conference on Intelligent Systems, BRACIS 2015, Natal, Brazil, 4/11/15. https://doi.org/10.1109/BRACIS.2015.30

@inproceedings{a6ecbea8bd4e4d15b0796489b35e8b93,

title = "Towards practical argumentation in multi-agent systems",

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.",

keywords = "Agent-oriented programming languages, Argumentation, Formal semantics",

author = "Panisson, {Alison R.} and Felipe Meneguzzi and Renata Vieira and Bordin, {Rafael H.}",

note = "ACKNOWLEDGMENT 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{\^o}nica da Amaz{\^o}nia Ltda. under the terms of Brazilian federal law No. 8.248/91. Publisher Copyright: {\textcopyright} 2015 IEEE.; 4th Brazilian Conference on Intelligent Systems, BRACIS 2015 ; Conference date: 04-11-2015 Through 07-11-2015",

year = "2016",

month = mar,

day = "2",

doi = "10.1109/BRACIS.2015.30",

language = "English",

pages = "98--103",

booktitle = "Proceedings - 2015 Brazilian Conference on Intelligent Systems, BRACIS 2015",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

}

TY - GEN

T1 - Towards practical argumentation in multi-agent systems

AU - Panisson, Alison R.

AU - Meneguzzi, Felipe

AU - Vieira, Renata

AU - Bordin, Rafael H.

N1 - ACKNOWLEDGMENT 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. Publisher Copyright: © 2015 IEEE.

PY - 2016/3/2

Y1 - 2016/3/2

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

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

KW - Agent-oriented programming languages

KW - Argumentation

KW - Formal semantics

UR - http://www.scopus.com/inward/record.url?scp=84964594810&partnerID=8YFLogxK

U2 - 10.1109/BRACIS.2015.30

DO - 10.1109/BRACIS.2015.30

M3 - Published conference contribution

AN - SCOPUS:84964594810

SP - 98

EP - 103

BT - Proceedings - 2015 Brazilian Conference on Intelligent Systems, BRACIS 2015

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 4th Brazilian Conference on Intelligent Systems, BRACIS 2015

Y2 - 4 November 2015 through 7 November 2015

ER -

Towards practical argumentation in multi-agent systems

Abstract

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this