Package org.tweetyproject.arg.aspic.syntax

Class DefeasibleInferenceRule<T extends Invertable>

java.lang.Object

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

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

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

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

Defeasible implementation of InferenceRule<T>

Author:

Nils Geilen

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()	Creates a deep copy of this formula
boolean	isDefeasible()
DefeasibleInferenceRule<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

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 Details

isDefeasible

public boolean isDefeasible()

Specified by:

isDefeasible in class InferenceRule<T extends Invertable>

Returns:

true iff this rule is defeasible

clone

public DefeasibleInferenceRule<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 DefeasibleInferenceRule<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