net.sf.tweety.logics.rdl.syntax

Class DefaultRule

java.lang.Object

net.sf.tweety.logics.fol.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.fol.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

Constructor Summary

Constructors

Constructor and Description
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)

Method Summary

Modifier and Type	Method and Description
net.sf.tweety.logics.fol.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.fol.syntax.RelationalFormula	complement()
boolean	containsQuantifier()
Set<net.sf.tweety.logics.fol.syntax.FOLAtom>	getAtoms()
net.sf.tweety.logics.fol.syntax.FolFormula	getConc()
Set<net.sf.tweety.logics.commons.syntax.Functor>	getFunctors()
Collection<net.sf.tweety.logics.fol.syntax.FolFormula>	getJus()
net.sf.tweety.logics.fol.syntax.FolFormula	getPre()
Set<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
Set<net.sf.tweety.logics.commons.syntax.Variable>	getQuantifierVariables()
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()
boolean	isClosed()
boolean	isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
boolean	isLiteral()
boolean	isNormal(DefaultTheory dt)
boolean	isWellBound()
boolean	isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
net.sf.tweety.logics.fol.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.fol.syntax.RelationalFormula

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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

equals, hashCode

Constructor Detail

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 net.sf.tweety.commons.ParserException

Throws:

net.sf.tweety.commons.ParserException

Method Detail

isNormal

public boolean isNormal(DefaultTheory dt)

getPre

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

getJus

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

getConc

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

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.fol.syntax.RelationalFormula

getFunctors

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

Specified by:

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

substitute

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

complement

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

Specified by:

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

Overrides:

complement in class net.sf.tweety.logics.fol.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.fol.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.fol.syntax.RelationalFormula

toString

public String toString()

Specified by:

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

clone

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