Class Principle
java.lang.Object
org.tweetyproject.arg.dung.principles.Principle
- Direct Known Subclasses:
AdmissibilityPrinciple
,CFReinstatementPrinciple
,ConflictFreePrinciple
,DirectionalityPrinciple
,IMaximalityPrinciple
,INRAPrinciple
,ModularizationPrinciple
,NaivetyPrinciple
,ReductAdmissibilityPrinciple
,ReinstatementPrinciple
,SccDecomposabilityPrinciple
,SCOOCPrinciple
,SemiQualifiedAdmissibilityPrinciple
,StrongAdmissibilityPrinciple
,WeakReinstatementPrinciple
Models a principle for argumentation semantics i.e. a property that
can be satisfied or violated by a semantics.
- Author:
- Lars Bengel
-
Field Summary
Modifier and TypeFieldDescriptionstatic final Principle
The admissibility principlestatic final Principle
The CF-reinstatement principlestatic final Principle
The conflict-free principlestatic final Principle
The directionality principlestatic final Principle
The I-maximality principlestatic final Principle
The Irrelevance of Necessarily Rejected Arguments (INRA) principlestatic final Principle
The modularization principlestatic final Principle
The naivety principlestatic final Principle
The reduct admissibility principlestatic final Principle
The reinstatement principlestatic final Principle
The SCC decomposability principlestatic final Principle
The Strong Completeness Outside Odd Cycles (SCOOC) principlestatic final Principle
The semi qualified admissibility principlestatic final Principle
The strong admissibility principlestatic final Principle
The weak reinstatement principle -
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionabstract boolean
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).abstract boolean
*description missing*boolean
Checks whether this postulate is satisfied by the given approachev
wrt.
-
Field Details
-
I_MAXIMALITY
The I-maximality principle -
CONFLICT_FREE
The conflict-free principle -
ADMISSIBILITY
The admissibility principle -
STRONG_ADMISSIBILITY
The strong admissibility principle -
REINSTATEMENT
The reinstatement principle -
WEAK_REINSTATEMENT
The weak reinstatement principle -
CF_REINSTATEMENT
The CF-reinstatement principle -
DIRECTIONALITY
The directionality principle -
INRA
The Irrelevance of Necessarily Rejected Arguments (INRA) principle -
SCOOC
The Strong Completeness Outside Odd Cycles (SCOOC) principle -
MODULARIZATION
The modularization principle -
REDUCT_ADM
The reduct admissibility principle -
SEMIQUAL_ADM
The semi qualified admissibility principle -
SCC_DECOMPOSABILITY
The SCC decomposability principle -
NAIVETY
The naivety principle
-
-
Constructor Details
-
Principle
public Principle()
-
-
Method Details
-
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>
- Parameters:
kb
- some knowledge base- Returns:
- true if the knowledge base is a non trivial instance of this postulate.
-
isSatisfied
Description copied from interface:Postulate
Checks whether this postulate is satisfied by the given approachev
wrt. the given instancekb
(note that evaluating an approach on a non-applicable instance always succeeds).- Specified by:
isSatisfied
in interfacePostulate<Argument>
- Parameters:
kb
- some knowledge baseev
- some approach- Returns:
- true if the postulate is satisfied on the instance
-
isSatisfied
*description missing*- Parameters:
kb
- kbev
- ev- Returns:
- is Satisfied
-