Package net.sf.tweety.arg.aspic.syntax

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

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.util.Comparator<AspicArgument<T>> order
      An order over this system's arguments, needed for their defeat relation
      private RuleFormulaGenerator<T> rfgen
      Used to transform ASPIC inference rules into words of the language they range over
      private static long serialVersionUID  

    • 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
      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

        finalize, 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

    • Field Detail

      • order

        private java.util.Comparator<AspicArgument<T extends Invertable>> order
        An order over this system's arguments, needed for their defeat relation

    • 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

      • 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.