net.sf.tweety.logics.fol.syntax

Class FOLAtom

java.lang.Object

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

net.sf.tweety.logics.fol.syntax.FolFormula

net.sf.tweety.logics.fol.syntax.FOLAtom

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.Atom, 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 FOLAtom
extends FolFormula
implements net.sf.tweety.logics.commons.syntax.interfaces.Atom

An atom in first-order logic, i.e. a predicate and a list of argument terms.

Author:

Matthias Thimm

Nested Class Summary

Nested classes/interfaces inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl, net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE

Constructor Summary

Constructors

Constructor and Description
FOLAtom() Default-Ctor: Creates new empty FOL-Atom
FOLAtom(FOLAtom other)
FOLAtom(net.sf.tweety.logics.commons.syntax.Predicate predicate) Creates a new atom with the given predicate and initializes an empty argument list.
FOLAtom(net.sf.tweety.logics.commons.syntax.Predicate predicate, List<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> arguments) Creates a new atom with the given predicate and list of terms
FOLAtom(net.sf.tweety.logics.commons.syntax.Predicate predicate, net.sf.tweety.logics.commons.syntax.interfaces.Term<?>... terms)

Method Summary

Modifier and Type	Method and Description
void	addArgument(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> term) Appends the given argument to this atom's arguments and returns itself.
FOLAtom	clone()
FolFormula	collapseAssociativeFormulas() This method collapses all associative operations appearing in this term, e.g.
boolean	containsQuantifier()
boolean	equals(Object obj)
List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getArguments()
Set<FOLAtom>	getAtoms()
Set<net.sf.tweety.logics.commons.syntax.Functor>	getFunctors()
String	getName()
net.sf.tweety.logics.commons.syntax.Predicate	getPredicate() Returns the predicate of this atom
Set<net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
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()
int	hashCode()
boolean	isClosed()
boolean	isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
boolean	isComplete() Checks whether this atom is complete, i.e.
boolean	isDnf() Checks whether this formula is in disjunctive normal form.
boolean	isLiteral()
boolean	isWellBound()
boolean	isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE	setPredicate(net.sf.tweety.logics.commons.syntax.Predicate newer)
FOLAtom	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
FolFormula	toNnf() Makes the negation normal form of this formula.
String	toString()

Methods inherited from class net.sf.tweety.logics.fol.syntax.FolFormula

combineWithAnd, combineWithOr, complement, getQuantifierVariables, getSignature, getUniformProbability, toDnf

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

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

getPredicateCls

Methods inherited from interface net.sf.tweety.commons.Formula

getSignature

Constructor Detail

FOLAtom

public FOLAtom()

Default-Ctor: Creates new empty FOL-Atom

FOLAtom

public FOLAtom(net.sf.tweety.logics.commons.syntax.Predicate predicate)

Creates a new atom with the given predicate and initializes an empty argument list.

Parameters:

predicate - the predicate of the atom.

FOLAtom

public FOLAtom(net.sf.tweety.logics.commons.syntax.Predicate predicate,
               net.sf.tweety.logics.commons.syntax.interfaces.Term<?>... terms)

FOLAtom

public FOLAtom(net.sf.tweety.logics.commons.syntax.Predicate predicate,
               List<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> arguments)

Creates a new atom with the given predicate and list of terms

Parameters:

predicate - the predicate of the atom

arguments - the arguments (terms) of the atom

FOLAtom

public FOLAtom(FOLAtom other)

Method Detail

addArgument

public void addArgument(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> term)
                 throws IllegalArgumentException

Appends the given argument to this atom's arguments and returns itself.

Specified by:

addArgument in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

Parameters:

term - an argument to be added

Throws:

IllegalArgumentException - if the given term does not correspond to the expected sort or the argument list is complete.

substitute

public FOLAtom 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 FolFormula

Throws:

IllegalArgumentException

getAtoms

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

isComplete

public boolean isComplete()

Checks whether this atom is complete, i.e. whether every argument is set.

Specified by:

isComplete in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

Returns:

"true" if the atom is complete.

getUnboundVariables

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

Specified by:

getUnboundVariables in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

getPredicates

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

Specified by:

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

getFunctors

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

Specified by:

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

isClosed

public boolean isClosed()

Specified by:

isClosed in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

isClosed

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

Specified by:

isClosed in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

isWellBound

public boolean isWellBound()

Specified by:

isWellBound in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

isWellBound

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

Specified by:

isWellBound in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

containsQuantifier

public boolean containsQuantifier()

Specified by:

containsQuantifier in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

getPredicate

public net.sf.tweety.logics.commons.syntax.Predicate getPredicate()

Returns the predicate of this atom

Specified by:

getPredicate in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

Returns:

the predicate of this atom

getArguments

public List<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getArguments()

Specified by:

getArguments in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

Returns:

the arguments of this atom.

isDnf

public boolean isDnf()

Description copied from class: FolFormula

Checks whether this formula is in disjunctive normal form.

Specified by:

isDnf in class FolFormula

Returns:

"true" iff this formula is in disjunctive normal form.

isLiteral

public boolean isLiteral()

Specified by:

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

toString

public String toString()

Specified by:

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

toNnf

public FolFormula toNnf()

Description copied from class: FolFormula

Makes the negation normal form of this formula.

Specified by:

toNnf in class FolFormula

Returns:

the NNF of this formula

collapseAssociativeFormulas

public FolFormula collapseAssociativeFormulas()

Description copied from class: FolFormula

This method collapses all associative operations appearing in this term, e.g. every a||(b||c) becomes a||b||c.

Specified by:

collapseAssociativeFormulas in class FolFormula

Returns:

the collapsed formula.

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 obj)

Specified by:

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

Overrides:

equals in class Object

getTerms

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

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

getTerms

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

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

clone

public FOLAtom 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 FolFormula

setPredicate

public net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE setPredicate(net.sf.tweety.logics.commons.syntax.Predicate newer)

Specified by:

setPredicate in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

getName

public String getName()

Specified by:

getName in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom