Contactez-nous

Applications of Argumentation: The SoDA Methodology

Auteurs : Spanoudakis N., Kakas A.C., Moraitis P
Publication : In 22nd European Conference on Artificial Intelligence (ECAI 2016), The Hague, Holland, 29 Aug-2 Sep, 2016

The area of argumentation is now at a stage that it can benefit from the study of systematic methodologies for building applications of argumentation. Herein, we present such a systematic argumentation software methodology, called SoDA (Software Development for Argumentation), that facilitates the principled modeling of real life problems, and the Gorgias-B tool that supports it. Gorgias-B builds on the system Gorgias that implements the theoretical framework proposed in [1]. SoDA and Gorgias-B built on the successful use of Gorgias during the last ten years by different users for developing real life applications (see http://gorgiasb.tuc.gr/Apps.html).

The Acceptability Semantics for Logic Programs
The Acceptability Semantics for Logic Programs
Learning Non-Monotonic Logic Programs: Learning Exceptions
Learning Non-Monotonic Logic Programs: Learning Exceptions
Logic Programming without Negation as Failure
Logic Programming without Negation as Failure

And you, how do you take your business decisions?