Package org.tweetyproject.arg.delp.semantics

Class GeneralizedSpecificity

java.lang.Object

org.tweetyproject.arg.delp.semantics.ComparisonCriterion

org.tweetyproject.arg.delp.semantics.GeneralizedSpecificity

public final class GeneralizedSpecificity
extends ComparisonCriterion

This class implements the generalized specificity criterion used to compare two arguments. Using this criterion, an argument is more specific (better) than another argument if the former uses more facts or less rules.

See

[1] Stolzenburg, F. and Garcia, A. and Chesnevar, Carlos I. and Simari, Guillermo R.. Computing Generalized Specificity. In Journal of Non-Classical Logics, 2003. Volume 13(1):87-113.

for more information.

Author:

Matthias Thimm

Nested Class Summary

Nested classes/interfaces inherited from class org.tweetyproject.arg.delp.semantics.ComparisonCriterion

ComparisonCriterion.Factory, ComparisonCriterion.Result

Constructor Summary

Constructors

Constructor	Description
GeneralizedSpecificity()	Default Constructor

Method Summary

Modifier and Type	Method	Description
ComparisonCriterion.Result	compare(DelpArgument argument1, DelpArgument argument2, DefeasibleLogicProgram context)	This method returns the relation of argument1 to argument2 given context.

Methods inherited from class java.lang.Object

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

Constructor Details

GeneralizedSpecificity

public GeneralizedSpecificity()

Default Constructor

Method Details

compare

public ComparisonCriterion.Result compare(DelpArgument argument1,
 DelpArgument argument2,
 DefeasibleLogicProgram context)

Description copied from class: ComparisonCriterion

This method returns the relation of argument1 to argument2 given context.

Specified by:

compare in class ComparisonCriterion

Parameters:

argument1 - a DeLP argument

argument2 - a DeLP argument

context - a defeasible logic program as context

Returns:

- Result.IS_BETTER iff argument1 is better than argument2
- Result.IS_WORSE iff argument1 is worse than argument2
- Result.IS_EQUAL iff argument1 and argument2 are in the same equivalence class
- Result.NOT_COMPARABLE iff argument1 and argument2 are not comparable