Package net.sf.tweety.arg.aspic.syntax
Class DefeasibleInferenceRule<T extends Invertable>
- java.lang.Object
-
- net.sf.tweety.arg.aspic.syntax.InferenceRule<T>
-
- net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule<T>
-
- Type Parameters:
T
- is the type of the language that the ASPIC theory's rules range over
public class DefeasibleInferenceRule<T extends Invertable> extends InferenceRule<T>
- Author:
- Nils Geilen
Defeasible implementation of
InferenceRule<T>
-
-
Constructor Summary
Constructors Constructor Description DefeasibleInferenceRule()
Constructs an empty instanceDefeasibleInferenceRule(T conclusion, java.util.Collection<T> premise)
Constructs a defeasible inference rule p => c
-
Method Summary
Modifier and Type Method Description boolean
isDefeasible()
-
Methods inherited from class net.sf.tweety.arg.aspic.syntax.InferenceRule
addPremise, addPremises, equals, getConclusion, getIdentifier, getName, getPremise, getSignature, hashCode, isConstraint, isFact, setConclusion, setName, toDefeasible, toStrict, toString
-
-
-
-
Method Detail
-
isDefeasible
public boolean isDefeasible()
- Specified by:
isDefeasible
in classInferenceRule<T extends Invertable>
- Returns:
- true iff this rule is defeasible
-
-