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žené v:
Podrobná bibliografia
Vydané v:2015 Brazilian Conference on Intelligent Systems (BRACIS) s. 98 - 103
Hlavní autori: Panisson, Alison R., Meneguzzi, Felipe, Vieira, Renata, Bordin, Rafael H.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.11.2015
Predmet:
Agent-oriented programming languages
Argumentation
Cognition
Computer languages
Context
Formal semantics
Multi-agent systems
Receivers
Semantics
Speech
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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.
AbstractList 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.
Author Meneguzzi, Felipe
Panisson, Alison R.
Vieira, Renata
Bordin, Rafael H.
Author_xml – sequence: 1
  givenname: Alison R.
  surname: Panisson
  fullname: Panisson, Alison R.
  email: alison.panisson@acad.pucrs.br
  organization: Sch. of Inf., Pontifical Catholic Univ. of Rio Grande do Sul, Porto Alegre, Brazil
– sequence: 2
  givenname: Felipe
  surname: Meneguzzi
  fullname: Meneguzzi, Felipe
  email: felipe.meneguzzi@pucrs.br
  organization: Sch. of Inf., Pontifical Catholic Univ. of Rio Grande do Sul, Porto Alegre, Brazil
– sequence: 3
  givenname: Renata
  surname: Vieira
  fullname: Vieira, Renata
  email: renata.vieira@pucrs.br
  organization: Sch. of Inf., Pontifical Catholic Univ. of Rio Grande do Sul, Porto Alegre, Brazil
– sequence: 4
  givenname: Rafael H.
  surname: Bordin
  fullname: Bordin, Rafael H.
  email: rafael.bordini@pucrs.br
  organization: Sch. of Inf., Pontifical Catholic Univ. of Rio Grande do Sul, Porto Alegre, Brazil
BookMark eNotzE9LwzAYgPEICrq5qxcv_QKtb_ImaXqsxT-DiWOb4G28zdIRaFNpMmTfXkFPD_wOz4xdhjE4xu44FJxD9fC4qZvlthDAVYFwwWZcQQUAXH9es0WMvgWhSy1LU94wvRu_aTrEbD2RTd5Sn9XT8TS4kCj5MWQ-ZG-nPvmcjr-Wbc8xuSHesquO-ugW_52zj-enXfOar95flk29yr0Ak3JuNSmFDo3pOjKKpOQKUTl9cBY74ECt0ASlNdhqXglSVoCoUIHGSgDO2f3f1zvn9l-TH2g670spJIDAHwNiRIk
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/BRACIS.2015.30
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 150900016X
9781509000166
EndPage 103
ExternalDocumentID 7424002
Genre orig-research
GroupedDBID 6IE
6IL
ALMA_UNASSIGNED_HOLDINGS
CBEJK
RIB
RIC
RIE
RIL
ID FETCH-LOGICAL-i208t-1c6a553e388ffa85a4415335e6dec3f010ab26a07c83b6192a5c2029350639203
IEDL.DBID RIE
ISICitedReferencesCount 3
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000380396700017&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Dec 20 05:18:35 EST 2023
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i208t-1c6a553e388ffa85a4415335e6dec3f010ab26a07c83b6192a5c2029350639203
PageCount 6
ParticipantIDs ieee_primary_7424002
PublicationCentury 2000
PublicationDate 20151101
PublicationDateYYYYMMDD 2015-11-01
PublicationDate_xml – month: 11
  year: 2015
  text: 20151101
  day: 01
PublicationDecade 2010
PublicationTitle 2015 Brazilian Conference on Intelligent Systems (BRACIS)
PublicationTitleAbbrev BRACIS
PublicationYear 2015
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssib026764787
Score 1.6162541
Snippet Argumentation is a key technique for reaching agreements in multi-agent systems. However, there are few practical approaches to develop multi-agent systems...
SourceID ieee
SourceType Publisher
StartPage 98
SubjectTerms Agent-oriented programming languages
Argumentation
Cognition
Computer languages
Context
Formal semantics
Multi-agent systems
Receivers
Semantics
Speech
Title Towards Practical Argumentation in Multi-agent Systems
URI https://ieeexplore.ieee.org/document/7424002
WOSCitedRecordID wos000380396700017&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEG2QePCkBozf6cGjhdJut90jEokmhhBFw41Mu7OGy2IW8Pfbdle4ePHW9NBmpk1mXjvvDSF3BVdWJloxTGzhAYpLWAbOMp-ZWvTxWEBkeH-86MnEzOfZtEXud1wYRIzFZ9gLw_iXn6_cNjyV9T2MS6Jy5IHWuuZq_d4dkerAmtSNLuOAZ_2H1-Ho-S1Ub6leLHLed0-JwWN8_L9tT0h3z8Kj0118OSUtLDskncU61zWthYa8h-mw-owrRB_TZUkjqZZBIE3RRpG8S97Hj7PRE2t6H7Cl4GbDBi4FpSRKY4oCjIKAe6RUmOboZOFRFFiRAtfOSBtAECgnuI_dKuQcgssz0i5XJZ4T6gFwnmkcFKhdAsKZjHPINSJAYlUOF6QTbF581fIWi8bcy7-nr8hR8GhNx7sm7U21xRty6L43y3V1G8_kB2qPjbA
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwIxEG4ImuhJDRjf9uDRQreP7e4RiQQiEqJouJG2O2u4LISHv9-2u8LFi7emhzYzbTLztfN9g9BDTqXhQkkCwuQOoFhBUm0NcZmpARePmQ4M78-hGo2S6TQd19DjjgsDAKH4DFp-GP7ys4Xd-qeytoNxIihHHkghWFSytX5vD4uV502qSpkxomn76a3THbz7-i3ZCmXO-_4pIXz0Tv638Slq7nl4eLyLMGeoBkUDxZNQ6brGpdSQ8zHurL7CCsHLeF7gQKsl2tOmcKVJ3kQfvedJt0-q7gdkzmiyIZGNtZQceJLkuU6k9siHcwlxBpbnDkdpw2JNlU248TBIS8uoi97SZx2M8nNULxYFXCDsIHCWKohyUFZoZpOUUp0pAK2FkZm-RA1v82xZClzMKnOv_p6-R0f9yetwNhyMXq7RsfduSc67QfXNagu36NB-b-br1V04nx_8NpD3
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2015+Brazilian+Conference+on+Intelligent+Systems+%28BRACIS%29&rft.atitle=Towards+Practical+Argumentation+in+Multi-agent+Systems&rft.au=Panisson%2C+Alison+R.&rft.au=Meneguzzi%2C+Felipe&rft.au=Vieira%2C+Renata&rft.au=Bordin%2C+Rafael+H.&rft.date=2015-11-01&rft.pub=IEEE&rft.spage=98&rft.epage=103&rft_id=info:doi/10.1109%2FBRACIS.2015.30&rft.externalDocID=7424002