Package net.sf.tweety.arg.delp.syntax

Class StrictRule

java.lang.Object

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

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

net.sf.tweety.arg.delp.syntax.StrictRule

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 StrictRule
extends DelpRule

This class models a strict 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
StrictRule(net.sf.tweety.logics.fol.syntax.FolFormula head, Set<net.sf.tweety.logics.fol.syntax.FolFormula> body)	Default constructor; initializes head and body of the strict rule

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)

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

StrictRule

public StrictRule(net.sf.tweety.logics.fol.syntax.FolFormula head,
                  Set<net.sf.tweety.logics.fol.syntax.FolFormula> body)

Default constructor; initializes head and body of the strict rule

Parameters:

head - a literal

body - a set of literals

Method Detail

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