Class MlBeliefSet

All Implemented Interfaces:
Iterable<RelationalFormula>, Collection<RelationalFormula>, BeliefBase

public class MlBeliefSet extends BeliefSet<RelationalFormula,FolSignature>
This class models a modal knowledge base, i.e. a set of formulas in modal logic.
Author:
Anna Gessler
  • Constructor Details

    • MlBeliefSet

      public MlBeliefSet()
      Creates a new empty modal knowledge base.
    • MlBeliefSet

      public MlBeliefSet(Set<RelationalFormula> formulas)
      Creates a new modal knowledge base with the given set of formulas.
      Parameters:
      formulas - some formulas
  • Method Details

    • getMinimalSignature

      public Signature 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.