A formal model of persuasion dialogs for interactions among argumentative software agents
- Andrés Muñoz Ortega
- Juan Antonio Botía Blaya
ISSN: 1888-0258
Année de publication: 2009
Titre de la publication: Special Session on Hybrid Reasoning and Coordination Methods on MAS
Volumen: 3
Número: 3
Pages: 3-10
Type: Article
D'autres publications dans: JoPha: Journal of Physical Agents
Résumé
Multi-agent systems (MAS) offer an approach to solve complex problems where data and control are inherently distributed among several agents. Normally, agents have to cope with conflicts based on inconsistent knowledge which arise when they exchange information. A relative common alternative to solve these conflicts is Argumentation. This technique allows agents to develop a coordination process based on the exchange of justifications supporting a piece of knowledge, with the aim of proving its validness. However, most argumentation frameworks are theoretical approaches to this problem. We have developed an Argumentation System Based on Ontologies (ASBO). It follows an engineering-oriented approach to materialize a software architecture which allows working with argumentation in MAS. Moreover, ASBO has also a formal model in the background. This paper introduces such formal model, in order to identify and unambiguously define the core elements that argumentation systems should include.