In this paper we present a prototype of a framework called dalek (DiALectical Explanation in Knowledge-bases). This framework implements dialectical approaches to explain query answers in inconsistent knowledge bases. The motivation behind the prototype is as follows: given an inconsistent knowledge base represented within Datalog±, a semantics for handling inconsistency and a query [Qscr ], the goal is to explain why [Qscr ] is accepted or not accepted under such semantics. The explanation takes a dialogical form (cf. [1,3]).
Stefano Bistarelli, Fabio Rossi, Francesco Santini
463 - 464
ConArg is a tool for solving different problems related to extension-based semantics: e.g., enumeration of extensions, sceptical and credulous acceptance of arguments. We have extended it in order to deal with Weighted Abstract Argumentation Frameworks, where each attack is associated with a strength score. Classical notions of defence and conflict-freeness have been redefined with the purpose to have different (weighted) degrees of their relaxation. The ultimate aim is to let an agent choose between a higher internal consistency or a stronger defence.
jArgSemSAT is a Java re-implementation of ArgSemSAT—a SAT-based solver for abstract argumentation problems—that can be easily integrated in existing argumentation systems (1) as an off-the-shelf, standalone, library; (2) as a Tweety compatible library; and (3) as a fast and robust web service freely available on the Web. Despite being written in Java, jArgSemSAT is very efficient.
The unstoppable rise of social networks and the web is facing a serious challenge: identifying the truthfulness of online opinions and reviews. We propose a system to identify two new argumentative features that a trained classifier can use to help determine whether a review is deceptive.
We present a reimplementation of the DIAMOND system for computing with abstract dialectical frameworks. The original DIAMOND was a script-based tool that called an external ASP solver. This reimplementation uses the clingo library in a native C++ environment and thus avoids communication overhead.
ArgTeach is a web-platform for teaching and learning the labelling semantics of abstract argumentation frameworks. The user's task is to find the complete labellings of an abstract argumentation framework, supported by ArgTeach in the form of hints about sensible next labelling steps as well as error checking of partial and total labellings. The ArgTeach web-platform considerably improves and extends an earlier java application, both with respect to functionality and design.
Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis
477 - 478
Gorgias-B is a new tool that supports a methodology for the development of real life applications. It can be used by non-argumentation experts generating and testing automatically the target argumentation theory in Gorgias.