Package org.tweetyproject.arg.aspic.syntax

Class AspicArgumentationTheory<T extends Invertable>

java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractSet<E>
java.util.HashSet<T>
org.tweetyproject.commons.util.rules.RuleSet<InferenceRule<T>>
org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory<T>
Type Parameters:
T - is the type of the language that the ASPIC theory's rules range over
All Implemented Interfaces:
Serializable, Cloneable, Iterable<InferenceRule<T>>, Collection<InferenceRule<T>>, Set<InferenceRule<T>>, BeliefBase
public class AspicArgumentationTheory<T extends Invertable> extends RuleSet<InferenceRule<T>> implements BeliefBase
Author:
Nils Geilen, Matthias Thimm According to Modgil and Prakken (http://www.cs.uu.nl/groups/IS/archive/henry/ASPICtutorial.pdf) this represents an argumentation theory (AS, KB) with - AS argumentation system (e.g. inference rules) - KB knowledge base and/or a corresponding structured argumentation framework (A,C,<=) with - A set of arguments - C set of attacks - <= order on the arguments and/or a corresponding abstract argumentation framework (A, D) with - A set of arguments - D defeat relationship
See Also:

  • Constructor Details

    • AspicArgumentationTheory

      public AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen)
      Constructs a new ASPIC argumentation theory
      Parameters:
      rfgen - function to map defeasible rules to labels

  • Method Details

    • setRuleFormulaGenerator

      public void setRuleFormulaGenerator(RuleFormulaGenerator<T> rfg)
      Set a new generator to transform rules into words of the language they range over
      Parameters:
      rfg - is the new formula generator

    • getRuleFormulaGenerator

      public RuleFormulaGenerator<T> getRuleFormulaGenerator()
      Returns the generator to transform rules into words of the language they range over
      Returns:
      the formula generator

    • addRule

      public void addRule(InferenceRule<T> rule)
      Adds an additional inference rule
      Parameters:
      rule - the rule to be added

    • addAxiom

      public void addAxiom(T axiom)
      Adds an additional axiom, i.e. a strict rule without premise
      Parameters:
      axiom - the axiom's conclusion

    • addOrdinaryPremise

      public void addOrdinaryPremise(T prem)
      Adds an additional ordinary, i.e. a defeasible inference rule without premise
      Parameters:
      prem - the premise's conclusion

    • asDungTheory

      public DungTheory asDungTheory()
      This method transfers this Aspic+ theory into a Dung style argumentation system
      Returns:
      a dung theory constructed out of this system's arguments and their defeat relation according to order

    • asDungTheory

      public DungTheory asDungTheory(boolean simplifyArgumentStructure)
      This method transfers this Aspic+ theory into a Dung style argumentation system
      Parameters:
      simplifyArgumentStructure - whether the argument class should be simplified; if "false" then AspicArgument is used as the argument class. If "true" then arguments are simplified by assigning names to each argument (the structure of the arguments is therefore lost).
      Returns:
      a dung theory constructed out of this system's arguments and their defeat relation according to order

    • groundFolRules

      public Set<InferenceRule<T>> groundFolRules()

    • getArguments

      public Collection<AspicArgument<T>> getArguments()
      Expands this systems's inference rules into a tree arguments
      Returns:
      the arguments constructed from this systems's inference rules

    • setOrder

      public void setOrder(Comparator<AspicArgument<T>> order)
      Sets a new order over the arguments
      Parameters:
      order - the new order

    • getOrder

      public Comparator<AspicArgument<T>> getOrder()
      Returns:
      the order over the systems's arguments

    • toString

      public String toString()
      Specified by:
      toString in interface BeliefBase
      Overrides:
      toString in class AbstractCollection<InferenceRule<T extends Invertable>>

    • getMinimalSignature

      public Signature getMinimalSignature()
      Description copied from interface: BeliefBase
      Returns the signature of the language of this knowledge base.
      Specified by:
      getMinimalSignature in interface BeliefBase
      Returns:
      the signature of the language of this knowledge base.