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
Year of publication: 2009
Issue Title: Special Session on Hybrid Reasoning and Coordination Methods on MAS
Volume: 3
Issue: 3
Pages: 3-10
Type: Article
More publications in: JoPha: Journal of Physical Agents
Abstract
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.