Package org.tweetyproject.arg.aspic.syntax

Class StrictInferenceRule<T extends Invertable>

java.lang.Object

org.tweetyproject.arg.aspic.syntax.InferenceRule<T>

org.tweetyproject.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:

Formula, Rule<T,T>, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula

public class StrictInferenceRule<T extends Invertable>
extends InferenceRule<T>

Indefeasible implementation of InferenceRule<T>

Author:

Nils Geilen

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()	Creates a deep copy of this formula
boolean	isDefeasible()
StrictInferenceRule<T>	substitute(Term<?> v, Term<?> t)	Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Methods inherited from class org.tweetyproject.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

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

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 Details

isDefeasible

public boolean isDefeasible()

Specified by:

isDefeasible in class InferenceRule<T extends Invertable>

Returns:

true iff this rule is defeasible

clone

public StrictInferenceRule<T> clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface ComplexLogicalFormula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in class InferenceRule<T extends Invertable>

Returns:

the cloned formula

substitute

public StrictInferenceRule<T> substitute(Term<?> v,
 Term<?> t)
                                  throws IllegalArgumentException

Description copied from interface: ComplexLogicalFormula

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Specified by:

substitute in interface ComplexLogicalFormula

Specified by:

substitute in class InferenceRule<T extends Invertable>

Parameters:

v - the term to be substituted.

t - the term to substitute.

Returns:

a formula where every occurrence of "v" is replaced by "t".

Throws:

IllegalArgumentException - if "v" and "t" are of different sorts