Class WeakestLinkOrder<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

  • Type Parameters:
    T - is the type of the language that the ASPIC theory's rules range over
    All Implemented Interfaces:
    Comparator<AspicArgument<T>>

    public class WeakestLinkOrder<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
    extends Object
    implements Comparator<AspicArgument<T>>
    Author:
    Nils Geilen A comparator for Aspic Arguments, that compares all deafeasible rules
    • Constructor Detail

      • WeakestLinkOrder

        public WeakestLinkOrder​(Comparator<InferenceRule<T>> rule_comp,
                                Comparator<InferenceRule<T>> prem_comp,
                                boolean elitist)
        Constructs a new weakest link ordering
        Parameters:
        rule_comp - comparator for defeasible rules
        prem_comp - comparator for ordinary premises
        elitist - some boolean