Package org.tweetyproject.arg.bipolar.examples
package org.tweetyproject.arg.bipolar.examples
-
ClassDescriptionA demonstration class for showing how to use the Deductive Argumentation Framework with different admissible reasoners.Example class demonstrating the use of the PEAF (Preference-based Argumentation Framework) inducer.Demonstrates the use of exact and approximate justification analysis on a PEAFTheory.This class demonstrates the use of the
EAFTheory
class to check for self-supporting sets of arguments.Demonstrates the construction of deductive argumentation frameworks and the computation of their extensions.Provides an example of constructing an Argumentation Framework (EAFTheory) and saving its representation to a file.Provides an example of constructing a Probabilistic Argumentation Framework (PEAFTheory), adding support relationships, and inducing extensions using a specific inducer.Demonstrates the use of evidential argumentation frameworks.More examples for evidential argumentation frameworks.More examples for evidential argumentation frameworks.Demonstrates the use of various PEAF (Probabilistic Evidential Argumentation Framework) inducers to compute and display argumentation frameworks and their associated probabilities.JustificationAnalysisExample classLiThesisPage21EAFExample classMeetingPEAFExample classExamples for necessity argumentation frameworks.OrenEtAl2010Figure2Example classSomePEAFInducerExample class