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.
Original language | English |
---|---|
Title of host publication | 2015 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technologies (WI-IAT) |
Publisher | IEEE Explore |
Pages | 151-158 |
Number of pages | 8 |
ISBN (Electronic) | 978-1-4673-9618-9 |
DOIs | |
Publication status | Published - 2015 |
Event | 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) - Singapore, Singapore Duration: 6 Dec 2015 → 9 Dec 2015 |
Conference
Conference | 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) |
---|---|
Country/Territory | Singapore |
Period | 6/12/15 → 9/12/15 |
Bibliographical note
ACKNOWLEDGMENTPart 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 Eletronica da Amazonia Ltd under the terms of Brazilian
federal law No. 8.248/91