A formal model of persuasion dialogs for interactions among argumentative software agents

  1. Andrés Muñoz Ortega
  2. Juan Antonio Botía Blaya
Revista:
JoPha: Journal of Physical Agents

ISSN: 1888-0258

Ano de publicación: 2009

Título do exemplar: Special Session on Hybrid Reasoning and Coordination Methods on MAS

Volume: 3

Número: 3

Páxinas: 3-10

Tipo: Artigo

DOI: 10.14198/JOPHA.2009.3.3.02 DIALNET GOOGLE SCHOLAR lock_openRUA editor

Outras publicacións en: JoPha: Journal of Physical Agents

Objetivos de desarrollo sostenible

Resumo

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.