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:
  • Constructor Details

  • 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: