On the Formalization of an Argumentation System for Software Agents

Authors:
Andres Munoz;Juan A. Botia
Affiliations:
Department of Information and Communications Engineering Computer Science Faculty, University of Murcia, Murcia, Spain 30100;Department of Information and Communications Engineering Computer Science Faculty, University of Murcia, Murcia, Spain 30100
Venue:
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
Year:
2009

Citing 6
Cited 0

Agent UML: a formalism for specifying multiagent software systems

First international workshop, AOSE 2000 on Agent-oriented software engineering
Multi-agent Systems and Network Management - A Positive Experience on Unix Environments

IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Argument-based applications to knowledge engineering

The Knowledge Engineering Review
Coherence and Flexibility in Dialogue Games for Argumentation

Journal of Logic and Computation
ASBO: Argumentation System Based on Ontologies

CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Is it worth arguing?

ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Argumentation techniques for multi-agent systems (MAS) coordination are relatively common nowadays. But most frameworks are theoretical approaches to the problem. ASBO is an Argumentation System Based on Ontologies. It follows an engineering oriented approach to materialize a software tool which allows working with argumentation in MAS. But ASBO has also a formal model in the background. This paper introduces such formal model, as a way to identify and unambiguously define the core elements that argumentation systems should include.