net.sf.tweety.logics.ml.semantics

Class ModalHerbrandBase

java.lang.Object

net.sf.tweety.logics.ml.semantics.ModalHerbrandBase

public class ModalHerbrandBase
extends Object

Modified version of HerbrandBase that allows for modal formulas. The Herbrand base is the set of all possible ground atoms of some given first-order logic.
NOTE: We only allow to define a Herbrand base for signatures without function symbols.

Author:

Matthias Thimm, Anna Gessler

See Also:

HerbrandBase

Constructor Summary

Constructors

Constructor and Description
ModalHerbrandBase(net.sf.tweety.logics.fol.syntax.FolSignature sig) Creates a new Herbrand base for the given signature.

Method Summary

Modifier and Type	Method and Description
Set<ModalHerbrandInterpretation>	getAllHerbrandInterpretations() Computes all possible Herbrand interpretations of this Herbrand base, i.e.
Set<net.sf.tweety.logics.fol.syntax.FolAtom>	getAtoms() Returns all atoms of this Herbrand base.

Methods inherited from class java.lang.Object

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

Constructor Detail

ModalHerbrandBase

public ModalHerbrandBase(net.sf.tweety.logics.fol.syntax.FolSignature sig)
                  throws IllegalArgumentException

Creates a new Herbrand base for the given signature.
NOTE: We only allow to define a Herbrand base for signatures without function symbols.

Parameters:

sig - the underlying first-order signature for this Herbrand base. There should be no functors defined in "sig"

Throws:

IllegalArgumentationException - if "sig" contains a functor.

IllegalArgumentException

See Also:

HerbrandBase.HerbrandBase(FolSignature sig)

Method Detail

getAllHerbrandInterpretations

public Set<ModalHerbrandInterpretation> getAllHerbrandInterpretations()

Computes all possible Herbrand interpretations of this Herbrand base, i.e. all possible subsets of this Herbrand base.

Returns:

all possible Herbrand interpretations of this Herbrand base, i.e. all possible subsets of this Herbrand base.

getAtoms

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

Returns all atoms of this Herbrand base.

Returns:

all atoms of this Herbrand base.

See Also:

HerbrandBase.getAtoms()