net.sf.tweety.logics.rdl.syntax

Class DefaultRule

java.lang.Object

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

net.sf.tweety.logics.rdl.syntax.DefaultRule

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable, 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 DefaultRule
extends net.sf.tweety.logics.commons.syntax.RelationalFormula

Models a default rule in Reiter's default logic, see [R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980].

Author:

Matthias Thimm, Nils Geilen

Constructor Summary

Constructors

Constructor and Description
DefaultRule() an empty Default Rule
DefaultRule(net.sf.tweety.logics.fol.syntax.FolFormula pre, Collection<net.sf.tweety.logics.fol.syntax.FolFormula> jus, net.sf.tweety.logics.fol.syntax.FolFormula conc) Creates a new DefaultRule
DefaultRule(net.sf.tweety.logics.fol.syntax.FolFormula pre, net.sf.tweety.logics.fol.syntax.FolFormula jus, net.sf.tweety.logics.fol.syntax.FolFormula conc) Creates a new DefaultRule

Method Summary

Modifier and Type	Method and Description
net.sf.tweety.logics.commons.syntax.RelationalFormula	clone()
net.sf.tweety.logics.fol.syntax.Conjunction	combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable formula)
net.sf.tweety.logics.fol.syntax.Disjunction	combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable formula)
net.sf.tweety.logics.commons.syntax.RelationalFormula	complement()
boolean	containsQuantifier()
boolean	equals(Object o)
Set<net.sf.tweety.logics.fol.syntax.FOLAtom>	getAtoms()
net.sf.tweety.logics.fol.syntax.FolFormula	getConclusion()
Set<net.sf.tweety.logics.commons.syntax.Functor>	getFunctors()
Collection<net.sf.tweety.logics.fol.syntax.FolFormula>	getJustification()
Set<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
net.sf.tweety.logics.fol.syntax.FolFormula	getPrerequisite()
Set<net.sf.tweety.logics.commons.syntax.Variable>	getQuantifierVariables()
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
<C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C>	getTerms(Class<C> cls)
Set<net.sf.tweety.logics.commons.syntax.Variable>	getUnboundVariables()
net.sf.tweety.math.probability.Probability	getUniformProbability()
int	hashCode()
boolean	isClosed()
boolean	isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
boolean	isLiteral()
boolean	isNormal(DefaultTheory dt) Tests, whether the default is normal normal ^= a:c/c
boolean	isWellBound()
boolean	isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
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)
String	toString()

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultRule

public DefaultRule()

an empty Default Rule

DefaultRule

public DefaultRule(net.sf.tweety.logics.fol.syntax.FolFormula pre,
                   net.sf.tweety.logics.fol.syntax.FolFormula jus,
                   net.sf.tweety.logics.fol.syntax.FolFormula conc)
            throws IllegalArgumentException

Creates a new DefaultRule

Parameters:

pre - the prerequsite

jus - the justification

conc - the conclusion

Throws:

net.sf.tweety.commons.ParserException - when a parameter is missing

IllegalArgumentException

DefaultRule

public DefaultRule(net.sf.tweety.logics.fol.syntax.FolFormula pre,
                   Collection<net.sf.tweety.logics.fol.syntax.FolFormula> jus,
                   net.sf.tweety.logics.fol.syntax.FolFormula conc)
            throws IllegalArgumentException

Creates a new DefaultRule

Parameters:

pre - the prerequsite

jus - the justifications

conc - the conclusion

Throws:

net.sf.tweety.commons.ParserException - when a parameter is missing

IllegalArgumentException

Method Detail

isNormal

public boolean isNormal(DefaultTheory dt)

Tests, whether the default is normal normal ^= a:c/c

getPrerequisite

public net.sf.tweety.logics.fol.syntax.FolFormula getPrerequisite()

Returns:

the default's prerequisite

getJustification

public Collection<net.sf.tweety.logics.fol.syntax.FolFormula> getJustification()

Returns:

the default's justification

getConclusion

public net.sf.tweety.logics.fol.syntax.FolFormula getConclusion()

Returns:

the default's conclusion

getPredicates

public Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

isLiteral

public boolean isLiteral()

getQuantifierVariables

public Set<net.sf.tweety.logics.commons.syntax.Variable> getQuantifierVariables()

getUnboundVariables

public Set<net.sf.tweety.logics.commons.syntax.Variable> getUnboundVariables()

containsQuantifier

public boolean containsQuantifier()

isWellBound

public boolean isWellBound()

isWellBound

public boolean isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)

isClosed

public boolean isClosed()

isClosed

public boolean isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)

getTerms

public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()

getTerms

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C> getTerms(Class<C> cls)

getAtoms

public Set<net.sf.tweety.logics.fol.syntax.FOLAtom> getAtoms()

Specified by:

getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getAtoms in class net.sf.tweety.logics.commons.syntax.RelationalFormula

getFunctors

public Set<net.sf.tweety.logics.commons.syntax.Functor> getFunctors()

Specified by:

getFunctors in class net.sf.tweety.logics.commons.syntax.RelationalFormula

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

Throws:

IllegalArgumentException

getUniformProbability

public net.sf.tweety.math.probability.Probability getUniformProbability()

Specified by:

getUniformProbability in interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware

Specified by:

getUniformProbability in class net.sf.tweety.logics.commons.syntax.RelationalFormula

complement

public net.sf.tweety.logics.commons.syntax.RelationalFormula complement()

Specified by:

complement in interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable

Overrides:

complement in class net.sf.tweety.logics.commons.syntax.RelationalFormula

combineWithOr

public net.sf.tweety.logics.fol.syntax.Disjunction combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable formula)

Specified by:

combineWithOr in interface net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable

Overrides:

combineWithOr in class net.sf.tweety.logics.commons.syntax.RelationalFormula

combineWithAnd

public net.sf.tweety.logics.fol.syntax.Conjunction combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable formula)

Specified by:

combineWithAnd in interface net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable

Overrides:

combineWithAnd in class net.sf.tweety.logics.commons.syntax.RelationalFormula

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in class net.sf.tweety.logics.commons.syntax.RelationalFormula

toString

public String toString()

Specified by:

toString in class net.sf.tweety.logics.commons.syntax.RelationalFormula

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

Overrides:

clone in class net.sf.tweety.logics.commons.syntax.RelationalFormula

hashCode

public int hashCode()

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

hashCode in class Object

equals

public boolean equals(Object o)

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

equals in class Object