Class INRAPrinciple
java.lang.Object
org.tweetyproject.arg.dung.principles.Principle
org.tweetyproject.arg.dung.principles.INRAPrinciple
Irrelevance of Necessarily Rejected Arguments (INRA) Principle
A semantics s satisfies INRA if for every AF F it holds that:
for every argument a in F, if every s-extension attacks a, then s(F) = s(F\{a})
i.e if an argument is attacked by every extension, then it does not influence the computation of extensions and can be ignored
see: Cramer, M., and van der Torre, L. (2019). SCF2-an argumentation semantics for rational human judgments on argument acceptability.
- 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
-
INRAPrinciple
public INRAPrinciple()
-
-
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
-