Package org.tweetyproject.arg.aspic.order

Class LastLinkOrder<T extends Invertable>

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<R,T>

org.tweetyproject.comparator.GeneralComparator<AspicArgument<T>,AspicArgumentationTheory<T>>

org.tweetyproject.arg.aspic.order.LastLinkOrder<T>

Type Parameters:

T - is the type of the language that the ASPIC theory's rules range over

All Implemented Interfaces:

Comparator<AspicArgument<T>>, Interpretation<AspicArgumentationTheory<T>,AspicArgument<T>>

public class LastLinkOrder<T extends Invertable>
extends GeneralComparator<AspicArgument<T>,AspicArgumentationTheory<T>>

Author:

Nils Geilen A comparator for Aspic Arguments, that compares the set of topmost deafeasible rules

Constructor Summary

Constructors

Constructor	Description
LastLinkOrder(Comparator<InferenceRule<T>> rule_comp, Comparator<InferenceRule<T>> prem_comp, boolean elitist)	Constructs a new last link ordering

Method Summary

Modifier and Type	Method	Description
int	compare(AspicArgument<T> a, AspicArgument<T> b)
boolean	containsIncomparableArguments()
boolean	isIncomparable(AspicArgument<T> a, AspicArgument<T> b)	Returns "true" iff a and b are incomparable (i.e.
boolean	isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T> a, AspicArgument<T> b)	Returns "true" iff a is strictly less acceptable than b or a is equally acceptable as b or a and b are not comparable, i.e.
boolean	satisfies(AspicArgument<T> formula)	Checks whether this interpretation satisfies the given formula.
boolean	satisfies(AspicArgumentationTheory<T> beliefBase)	Checks whether this interpretation satisfies the given knowledge base.

Methods inherited from class org.tweetyproject.comparator.GeneralComparator

getMaximallyAcceptedArguments, getMinimallyAcceptedArguments, isEquallyAcceptableThan, isEquivalent, isStrictlyLessAcceptableThan, isStrictlyMoreAcceptableThan, isStrictlyMoreOrEquallyAcceptableThan

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Comparator

equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Details

LastLinkOrder

public LastLinkOrder(Comparator<InferenceRule<T>> rule_comp,
 Comparator<InferenceRule<T>> prem_comp,
 boolean elitist)

Constructs a new last link ordering

Parameters:

rule_comp - comparator for defeasible rules

prem_comp - comparator for ordinary premises

elitist - some boolean

Method Details

compare

public int compare(AspicArgument<T> a,
 AspicArgument<T> b)

Specified by:

compare in interface Comparator<T extends Invertable>

Overrides:

compare in class GeneralComparator<AspicArgument<T extends Invertable>,AspicArgumentationTheory<T extends Invertable>>

satisfies

public boolean satisfies(AspicArgument<T> formula)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

IllegalArgumentException - if the formula does not correspond to the expected language.

satisfies

public boolean satisfies(AspicArgumentationTheory<T> beliefBase)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Parameters:

beliefBase - a knowledge base.

Returns:

"true" if this interpretation satisfies the given knowledge base.

Throws:

IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

isStrictlyLessOrEquallyAcceptableThan

public boolean isStrictlyLessOrEquallyAcceptableThan(AspicArgument<T> a,
 AspicArgument<T> b)

Description copied from class: GeneralComparator

Returns "true" iff a is strictly less acceptable than b or a is equally acceptable as b or a and b are not comparable, i.e. a >= b (or a ~ b)

Specified by:

isStrictlyLessOrEquallyAcceptableThan in class GeneralComparator<AspicArgument<T extends Invertable>,AspicArgumentationTheory<T extends Invertable>>

Parameters:

a - some comparable element

b - some comparable element

Returns:

"true" iff a is strictly less acceptable than b or a is equally acceptable as b

isIncomparable

public boolean isIncomparable(AspicArgument<T> a,
 AspicArgument<T> b)

Description copied from class: GeneralComparator

Returns "true" iff a and b are incomparable (i.e. this ranking is a partial ranking).

Specified by:

isIncomparable in class GeneralComparator<AspicArgument<T extends Invertable>,AspicArgumentationTheory<T extends Invertable>>

Parameters:

a - comparable element

b - comparable element

Returns:

"true" iff a and b are incomparable

containsIncomparableArguments

public boolean containsIncomparableArguments()

Specified by:

containsIncomparableArguments in class GeneralComparator<AspicArgument<T extends Invertable>,AspicArgumentationTheory<T extends Invertable>>

Returns:

true if this ranking contains incomparable arguments, false otherwise