Package net.sf.tweety.arg.aspic.syntax

Class DefeasibleInferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.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

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<T,T>, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class DefeasibleInferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
extends InferenceRule<T>

Author:

Nils Geilen Defeasible implementation of InferenceRule<T>

Constructor Summary

Constructors

Constructor	Description
DefeasibleInferenceRule()	Constructs an empty instance
DefeasibleInferenceRule(T conclusion, Collection<T> premise)	Constructs a defeasible inference rule p => c

Method Summary

Modifier and Type	Method	Description
DefeasibleInferenceRule<T>	clone()
boolean	isDefeasible()
DefeasibleInferenceRule<T>	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods inherited from class net.sf.tweety.arg.aspic.syntax.InferenceRule

addPremise, addPremises, allGroundInstances, allSubstitutions, containsTermsOfType, equals, exchange, getAtoms, getConclusion, getIdentifier, getName, getPredicateCls, getPredicates, getPremise, getSignature, getTerms, getTerms, getUnboundVariables, hashCode, isConstraint, isFact, isGround, isLiteral, isWellFormed, setConclusion, setName, substitute, toDefeasible, toStrict, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DefeasibleInferenceRule

public DefeasibleInferenceRule()

Constructs an empty instance

DefeasibleInferenceRule

public DefeasibleInferenceRule(T conclusion,
                               Collection<T> premise)

Constructs a defeasible inference rule p => c

Parameters:

conclusion - ^= p

premise - ^= c

Method Detail

isDefeasible

public boolean isDefeasible()

Specified by:

isDefeasible in class InferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

Returns:

true iff this rule is defeasible

clone

public DefeasibleInferenceRule<T> clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in class InferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

substitute

public DefeasibleInferenceRule<T> substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                                             net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
                                      throws IllegalArgumentException

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in class InferenceRule<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

Throws:

IllegalArgumentException