Package org.tweetyproject.logics.ml.semantics

Class MlHerbrandBase

java.lang.Object

org.tweetyproject.logics.ml.semantics.MlHerbrandBase

public class MlHerbrandBase
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	Description
MlHerbrandBase(FolSignature sig)	Creates a new Herbrand base for the given signature.

Method Summary

Modifier and Type	Method	Description
Set<MlHerbrandInterpretation>	getAllHerbrandInterpretations()
Set<FolAtom>	getAtoms()

Methods inherited from class java.lang.Object

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

Constructor Details

MlHerbrandBase

public MlHerbrandBase(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

Throws:

IllegalArgumentException - if "sig" contains a functor.

See Also:

• HerbrandBase(FolSignature sig)

Method Details

getAllHerbrandInterpretations

public Set<MlHerbrandInterpretation> getAllHerbrandInterpretations()

Returns:

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

getAtoms

public Set<FolAtom> getAtoms()

Returns:

all atoms of this Herbrand base.

See Also:

• HerbrandBase.getAtoms()