2012 | OriginalPaper | Buchkapitel
Modeling and Solving AFs with a Constraint-Based Tool: ConArg
verfasst von : Stefano Bistarelli, Francesco Santini
Erschienen in: Theorie and Applications of Formal Argumentation
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
ConArg
is a tool based on
Constraint Programming
which is able to model and solve different problems related to Argumentation Frameworks (AFs). To practically implement the tool, we have used
JaCoP
, a Java library which provides the user with a
Finite Domain Constraint Programming
paradigm.
Constraint Satisfaction Problems
(CSPs) offer a wide number of efficient techniques (as inference and search algorithms) that can tackle the complexity in finding all the possible Dung’s conflict-free, admissible, complete and stable extensions in AFs. Moreover, we can use the tool to solve some of the preference-based problems presented in literature. ConArg is able to randomly generate networks with small-world properties in order to find Dung’s extensions on such interaction graphs. We present the main features of ConArg and we report the performance in time.