net.sf.tweety.arg.delp.syntax

Class DefeasibleRule

java.lang.Object

net.sf.tweety.logics.commons.syntax.RelationalFormula

net.sf.tweety.arg.delp.syntax.DelpRule

net.sf.tweety.arg.delp.syntax.DefeasibleRule

All Implemented Interfaces:

Formula, Rule<FolFormula,FolFormula>, ClassicalFormula, ComplexLogicalFormula, Conjuctable, Disjunctable, Invertable, LogicStructure, ProbabilityAware, QuantifiedFormula, SimpleLogicalFormula

public class DefeasibleRule
extends DelpRule

This class models a defeasible rule in defeasible logic programming.

Author:

Matthias Thimm

Field Summary

Fields inherited from class net.sf.tweety.arg.delp.syntax.DelpRule

body, head

Constructor Summary

Constructors

Constructor and Description
DefeasibleRule(FolFormula head, java.util.Set<FolFormula> body) Initializes the defeasible rule with the given parameters

Method Summary

Modifier and Type	Method and Description
RelationalFormula	clone() Creates a deep copy of this formula
(package private) java.lang.String	getSymbol()
RelationalFormula	substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
StrictRule	toStrictRule() returns the translation of this rule as a strict rule

Methods inherited from class net.sf.tweety.arg.delp.syntax.DelpRule

addPremise, addPremises, combineWithAnd, combineWithOr, complement, containsQuantifier, equals, getAtoms, getConclusion, getFunctors, getPredicates, getPremise, getQuantifierVariables, getSignature, getTerms, getTerms, getUnboundVariables, getUniformProbability, hashCode, isApplicable, isClosed, isClosed, isConstraint, isFact, isGround, isLiteral, isWellBound, isWellBound, setConclusion, toString

Methods inherited from class net.sf.tweety.logics.commons.syntax.RelationalFormula

allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, isWellFormed, substitute

Methods inherited from class java.lang.Object

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

Constructor Detail

DefeasibleRule

public DefeasibleRule(FolFormula head,
                      java.util.Set<FolFormula> body)

Initializes the defeasible rule with the given parameters

Parameters:

head - a literal

body - a set of literals

Method Detail

getSymbol

java.lang.String getSymbol()

Specified by:

getSymbol in class DelpRule

toStrictRule

public StrictRule toStrictRule()

returns the translation of this rule as a strict rule

Returns:

the translation of this rule as a strict rule

substitute

public RelationalFormula substitute(Term<?> v,
                                    Term<?> t)
                             throws java.lang.IllegalArgumentException

Description copied from class: RelationalFormula

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula. NOTE: if "v" is a variable and bound to a quantifier then "v" is not substituted in that quantifiers inner formula.

Specified by:

substitute in interface ComplexLogicalFormula

Specified by:

substitute in class DelpRule

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:

java.lang.IllegalArgumentException - if "v" and "t" are of different sorts (NOTE: this exception is only thrown when "v" actually appears in this formula).

clone

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