Package 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:

net.sf.tweety.commons.Formula, net.sf.tweety.commons.util.rules.Rule<net.sf.tweety.logics.fol.syntax.FolFormula,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula, net.sf.tweety.logics.commons.syntax.interfaces.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	Description
DefeasibleRule(net.sf.tweety.logics.fol.syntax.FolFormula head, Set<net.sf.tweety.logics.fol.syntax.FolFormula> body)	Initializes the defeasible rule with the given parameters

Method Summary

Modifier and Type	Method	Description
net.sf.tweety.logics.commons.syntax.RelationalFormula	clone()
net.sf.tweety.logics.commons.syntax.RelationalFormula	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
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(net.sf.tweety.logics.fol.syntax.FolFormula head,
                      Set<net.sf.tweety.logics.fol.syntax.FolFormula> body)

Initializes the defeasible rule with the given parameters

Parameters:

head - a literal

body - a set of literals

Method Detail

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 net.sf.tweety.logics.commons.syntax.RelationalFormula 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 DelpRule

Throws:

IllegalArgumentException

clone

public net.sf.tweety.logics.commons.syntax.RelationalFormula 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 net.sf.tweety.logics.commons.syntax.RelationalFormula