Class FolBeliefSet

java.lang.Object
org.tweetyproject.commons.BeliefSet<FolFormula,FolSignature>
org.tweetyproject.logics.fol.syntax.FolBeliefSet
All Implemented Interfaces:
Iterable<FolFormula>, Collection<FolFormula>, BeliefBase

public class FolBeliefSet extends BeliefSet<FolFormula,FolSignature>
This class models a first-order knowledge base, i.e. a set of formulas in first-order logic.
Author:
Matthias Thimm
  • Constructor Details

    • FolBeliefSet

      public FolBeliefSet()
      Creates a new and empty first-order knowledge base.
    • FolBeliefSet

      public FolBeliefSet(Collection<FolFormula> formulas)
      Creates a new first-order knowledge base with the given set of formulas.
      Parameters:
      formulas - the formulas
  • Method Details

    • getMinimalSignature

      public FolSignature getMinimalSignature()
      Description copied from interface: BeliefBase
      Returns the signature of the language of this knowledge base.
      Returns:
      the signature of the language of this knowledge base.