Package org.tweetyproject.arg.aspic.order

Class RuleComparator<T extends Invertable>

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<AspicArgumentationTheory<T>,InferenceRule<T>>

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

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

Type Parameters:

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

All Implemented Interfaces:

Comparator<InferenceRule<T>>, Interpretation<AspicArgumentationTheory<T>,InferenceRule<T>>

public class RuleComparator<T extends Invertable>
extends GeneralComparator<InferenceRule<T>,AspicArgumentationTheory<T>>

Author:

Nils Geilen A simple comparator, that compares inference rules

Constructor Summary

Constructors

Constructor	Description
RuleComparator(List<String> rules)	Constructs a new comparator for rules

Method Summary

Modifier and Type	Method	Description
int	compare(InferenceRule<T> o1, InferenceRule<T> o2)
boolean	containsIncomparableArguments()	Return true if this ranking contains incomparable arguments, false otherwise
boolean	isIncomparable(InferenceRule<T> a, InferenceRule<T> b)	Returns "true" iff a and b are incomparable (i.e.
boolean	isStrictlyLessOrEquallyAcceptableThan(InferenceRule<T> a, InferenceRule<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(AspicArgumentationTheory<T> beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(InferenceRule<T> formula)	Checks whether this interpretation satisfies the given formula.

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

RuleComparator

public RuleComparator(List<String> rules)

Constructs a new comparator for rules

Parameters:

rules - rules in ascending order

Method Details

compare

public int compare(InferenceRule<T> o1,
 InferenceRule<T> o2)

Specified by:

compare in interface Comparator<T extends Invertable>

Overrides:

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

satisfies

public boolean satisfies(InferenceRule<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(InferenceRule<T> a,
 InferenceRule<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<InferenceRule<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(InferenceRule<T> a,
 InferenceRule<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<InferenceRule<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()

Description copied from class: GeneralComparator

Return true if this ranking contains incomparable arguments, false otherwise

Specified by:

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

Returns:

true if this ranking contains incomparable arguments, false otherwise