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

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

Author:

Nils Geilen Indefeasible implementation of InferenceRule<T>

Constructor Summary

Constructors

Constructor	Description
StrictInferenceRule()	Constructs an empty instance
StrictInferenceRule(T conclusion, Collection<T> premise)	Constructs a strict inference rule p -> c

Method Summary

Modifier and Type	Method	Description
StrictInferenceRule<T>	clone()
boolean	isDefeasible()
StrictInferenceRule<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

StrictInferenceRule

public StrictInferenceRule()

Constructs an empty instance

StrictInferenceRule

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

Constructs a strict 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 StrictInferenceRule<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 StrictInferenceRule<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