Class AdmissibilityPrinciple
java.lang.Object
org.tweetyproject.arg.dung.principles.Principle
org.tweetyproject.arg.dung.principles.AdmissibilityPrinciple
Admissibility Principle
A semantics satisfies admissibility if for all extensions E it holds that:
every argument in E is defended by E
see Baroni, P., and Giacomin, M. (2007). On principle-based evaluation of extension-based argumentation semantics.
- Author:
- Lars Bengel
-
Field Summary
Fields inherited from class org.tweetyproject.arg.dung.principles.Principle
ADMISSIBILITY, CF_REINSTATEMENT, CONFLICT_FREE, DIRECTIONALITY, I_MAXIMALITY, INRA, MODULARIZATION, NAIVETY, REDUCT_ADM, REINSTATEMENT, SCC_DECOMPOSABILITY, SCOOC, SEMIQUAL_ADM, STRONG_ADMISSIBILITY, WEAK_REINSTATEMENT
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptiongetName()
The textual name of the postulateboolean
Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).boolean
*description missing*Methods inherited from class org.tweetyproject.arg.dung.principles.Principle
isSatisfied
-
Constructor Details
-
AdmissibilityPrinciple
public AdmissibilityPrinciple()
-
-
Method Details
-
getName
Description copied from interface:Postulate
The textual name of the postulate- Returns:
- a string
-
isApplicable
Description copied from interface:Postulate
Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).- Specified by:
isApplicable
in interfacePostulate<Argument>
- Specified by:
isApplicable
in classPrinciple
- Parameters:
kb
- some knowledge base- Returns:
- true if the knowledge base is a non trivial instance of this postulate.
-
isSatisfied
Description copied from class:Principle
*description missing*- Specified by:
isSatisfied
in classPrinciple
- Parameters:
kb
- kbev
- ev- Returns:
- is Satisfied
-