Class AspicArgumentationTheory<T extends Invertable>

  • Type Parameters:
    T - is the type of the language that the ASPIC theory's rules range over
    All Implemented Interfaces:
    java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<InferenceRule<T>>, java.util.Collection<InferenceRule<T>>, java.util.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:
    Serialized Form
    • Method Summary

      Modifier and Type Method Description
      void addAxiom​(T axiom)
      Adds an additional axiom, i.e.
      void addOrdinaryPremise​(T prem)
      Adds an additional ordinary, i.e.
      void addRule​(InferenceRule<T> rule)
      Adds an additional inference rule
      DungTheory asDungTheory()
      This method transfers this Aspic+ theory into a Dung style argumentation system
      DungTheory asDungTheory​(boolean simplifyArgumentStructure)
      This method transfers this Aspic+ theory into a Dung style argumentation system
      java.util.Collection<AspicArgument<T>> getArguments()
      Expands this systems's inference rules into a tree arguments
      Signature getMinimalSignature()
      Returns the signature of the language of this knowledge base.
      java.util.Comparator<AspicArgument<T>> getOrder()  
      RuleFormulaGenerator<T> getRuleFormulaGenerator()
      Returns the generator to transform rules into words of the language they range over
      java.util.Set<InferenceRule<T>> groundFolRules()  
      void setOrder​(java.util.Comparator<AspicArgument<T>> order)
      Sets a new order over the arguments
      void setRuleFormulaGenerator​(RuleFormulaGenerator<T> rfg)
      Set a new generator to transform rules into words of the language they range over
      java.lang.String toString()  
      • Methods inherited from class java.util.HashSet

        add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
      • Methods inherited from class java.util.AbstractSet

        equals, hashCode, removeAll
      • Methods inherited from class java.util.AbstractCollection

        addAll, containsAll, retainAll, toArray, toArray
      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface java.util.Collection

        parallelStream, removeIf, stream, toArray
      • Methods inherited from interface java.lang.Iterable

        forEach
      • Methods inherited from interface java.util.Set

        addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray
    • Constructor Detail

      • AspicArgumentationTheory

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

      • 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 java.util.Set<InferenceRule<T>> groundFolRules()
      • getArguments

        public java.util.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​(java.util.Comparator<AspicArgument<T>> order)
        Sets a new order over the arguments
        Parameters:
        order - the new order
      • getOrder

        public java.util.Comparator<AspicArgument<T>> getOrder()
        Returns:
        the order over the systems's arguments
      • 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.