On the formalization of an argumentation system for software agents

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. © 2009 Springer Berlin Heidelberg.