Towards Practical Argumentation-Based Dialogues in Multi-agent Systems
Although argumentation has been a prominent topic of research in artificial intelligence and in particular agent communication, there has been little work on practical (but provably sound) argumentation approaches integrated with agent programming languages. In this paper, we develop a formally-grou...
Uložené v:
| Vydané v: | 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) Ročník 2; s. 151 - 158 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
IEEE
01.12.2015
|
| Predmet: | |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Although argumentation has been a prominent topic of research in artificial intelligence and in particular agent communication, there has been little work on practical (but provably sound) argumentation approaches integrated with agent programming languages. In this paper, we develop a formally-grounded mechanism for practical argumentation-based dialogues in an agent platform based on a multi-agent programming language. We formalise a protocol to govern such dialogues, where agents use an argumentation-based reasoning mechanism that has been implemented. We prove that dialogues following our protocol always terminate and that ideal solutions are reached under certain conditions. The protocol is simple but was shown to be useful in a multi-agent system application that supports teams of cooperating humans. |
|---|---|
| AbstractList | Although argumentation has been a prominent topic of research in artificial intelligence and in particular agent communication, there has been little work on practical (but provably sound) argumentation approaches integrated with agent programming languages. In this paper, we develop a formally-grounded mechanism for practical argumentation-based dialogues in an agent platform based on a multi-agent programming language. We formalise a protocol to govern such dialogues, where agents use an argumentation-based reasoning mechanism that has been implemented. We prove that dialogues following our protocol always terminate and that ideal solutions are reached under certain conditions. The protocol is simple but was shown to be useful in a multi-agent system application that supports teams of cooperating humans. |
| Author | Bordini, Rafael H. Meneguzzi, Felipe Panisson, Alison R. Vieira, Renata |
| Author_xml | – sequence: 1 givenname: Alison R. surname: Panisson fullname: Panisson, Alison R. email: alison.panisson@acad.pucrs.br organization: Postgrad. Programme in Comput. Sci., Pontifical Catholic Univ. of Rio Grande do Sul (PUCRS), Porto Alegre, Brazil – sequence: 2 givenname: Felipe surname: Meneguzzi fullname: Meneguzzi, Felipe email: felipe.meneguzzi@pucrs.br organization: Postgrad. Programme in Comput. Sci., Pontifical Catholic Univ. of Rio Grande do Sul (PUCRS), Porto Alegre, Brazil – sequence: 3 givenname: Renata surname: Vieira fullname: Vieira, Renata email: renata.vieira@pucrs.br organization: Postgrad. Programme in Comput. Sci., Pontifical Catholic Univ. of Rio Grande do Sul (PUCRS), Porto Alegre, Brazil – sequence: 4 givenname: Rafael H. surname: Bordini fullname: Bordini, Rafael H. email: rafael.bordini@pucrs.br organization: Postgrad. Programme in Comput. Sci., Pontifical Catholic Univ. of Rio Grande do Sul (PUCRS), Porto Alegre, Brazil |
| BookMark | eNotj81KxDAYRSMoqGPXLtz0BTomafPTZR0dLYwoWHE5fEm_lEB_pEmReXsLurl3c7ice03Ox2lEQm4Z3TJGy_uvOqurZsspE2voM5KUSrNCqryUTJeXJAnBG1poJRhX7Irsm-kH5jak7zPY6C30aTV3y4BjhOinMXuAgG366KGfugVD6sf0demjz6BbmfTjFCIO4YZcOOgDJv-9IZ_7p2b3kh3enutddcg8UyJmJQjdKnSydQbbnJcUdKGdySV3xgAgkwIlGMulVYI7Ck7a1dRKXlDrdL4hd3-7HhGP37MfYD4d13cqFzz_BaqPTWM |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/WI-IAT.2015.208 |
| 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 | 9781467396189 1467396184 |
| EndPage | 158 |
| ExternalDocumentID | 7397352 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IL ALMA_UNASSIGNED_HOLDINGS CBEJK RIB RIC RIE RIL |
| ID | FETCH-LOGICAL-i175t-9a58d7ef6dfbed3290a848fb362fbbaae165e6abc26c752f0af6c512c6240cf83 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 7 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000383012200027&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:22 EST 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i175t-9a58d7ef6dfbed3290a848fb362fbbaae165e6abc26c752f0af6c512c6240cf83 |
| PageCount | 8 |
| ParticipantIDs | ieee_primary_7397352 |
| PublicationCentury | 2000 |
| PublicationDate | 2015-Dec. |
| PublicationDateYYYYMMDD | 2015-12-01 |
| PublicationDate_xml | – month: 12 year: 2015 text: 2015-Dec. |
| PublicationDecade | 2010 |
| PublicationTitle | 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) |
| PublicationTitleAbbrev | WI-IAT |
| PublicationYear | 2015 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssib048751271 |
| Score | 1.6298676 |
| Snippet | Although argumentation has been a prominent topic of research in artificial intelligence and in particular agent communication, there has been little work on... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 151 |
| SubjectTerms | Agent-oriented Programming Languages Argumentation-based Dialogues Argumentation-based Protocol Cognition Computer languages Games Knowledge based systems Protocols Semantics |
| Title | Towards Practical Argumentation-Based Dialogues in Multi-agent Systems |
| URI | https://ieeexplore.ieee.org/document/7397352 |
| Volume | 2 |
| WOSCitedRecordID | wos000383012200027&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/eLvHCXMwlV1LTwMhECa18eBJTWt8h4NHsSzswnKsj8Ympumhxt4aHoPZy9b04e8X2LXGxIsXQjhA-IbkG4b5BoRuqKeOWc9JcBUkyRV4ojgYonOAzEiducbSL3IyKedzNe2g250WBgBS8hncxW56y3dLu42hsoEM5Bkchj20J6VstFrfZyf63RmTWVu9J6Nq8DYm4-EsZm8VoSl_fZ-S2GN0-L91j1D_R4aHpzuCOUYdqHtoNEuJrmvcVBoKEOPh6j3NkEAm94GXHH6smqjMGlc1TipboqOKCrclyvvodfQ0e3gm7WcIpAoMvyFKF6WT4IXzBhxniuoyL70JBOSN0RoyUYDQxjJhZcE81V7YAIkVgbOtL_kJ6tbLGk4RpsEGymjGpeW5pV4JzSXnTrJwe1AsO0O9iMHio6l3sWi3f_738AU6iBA3KR6XqLtZbeEK7dvPTbVeXScjfQH2m5Un |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LTwMhECa1muhJTWt8y8Gj6AK7y3Ksj6aNtelhjb01PAazl63pw98vy641Jl68EMIBwjck3zDMNyB0HbnIMuM48a6CILEERyQHTVQMQLVQ1NaWHonxOJtO5aSFbjZaGAAIyWdwW3XDW76dm3UVKrsTnjy9w7CFtpM4ZrRWa32fnsrzpkzQpn4PjeTd25AMe3mVv5X4Jvv1gUrgj_7-_1Y-QN0fIR6ebCjmELWg7KB-HlJdl7iuNeRBxr3Fe5ghwEzuPTNZ_FjUcZklLkocdLZEVToq3BQp76LX_lP-MCDNdwik8By_IlIlmRXgUus0WM5kpLI4c9pTkNNaKaBpAqnShqVGJMxFyqXGQ2JSz9rGZfwItct5CccIR94KUivGheGxiZxMFRecW8H8_UEyeoI6FQazj7rixazZ_unfw1dod5C_jGaj4fj5DO1VcNcJH-eovVqs4QLtmM9VsVxcBoN9AejqmG4 |
| 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+IEEE%2FWIC%2FACM+International+Conference+on+Web+Intelligence+and+Intelligent+Agent+Technology+%28WI-IAT%29&rft.atitle=Towards+Practical+Argumentation-Based+Dialogues+in+Multi-agent+Systems&rft.au=Panisson%2C+Alison+R.&rft.au=Meneguzzi%2C+Felipe&rft.au=Vieira%2C+Renata&rft.au=Bordini%2C+Rafael+H.&rft.date=2015-12-01&rft.pub=IEEE&rft.volume=2&rft.spage=151&rft.epage=158&rft_id=info:doi/10.1109%2FWI-IAT.2015.208&rft.externalDocID=7397352 |