Package org.tweetyproject.commons

Interface BeliefBase

All Known Subinterfaces:
ArgumentationFramework<Arg>, LogicProgram<C,P,T>
All Known Implementing Classes:
AbaTheory, AbstractBipolarFramework, ActionDescription, ActionQuerySet, ArgumentationKnowledgeBase, AspicArgumentationTheory, BeliefSet, BpmnModel, CActionDescription, ClaimBasedTheory, ClBeliefSet, CompilationNode, CrMasBeliefSet, DeductiveArgumentationFramework, DeductiveKnowledgeBase, DefaultTheory, DefeasibleLogicProgram, DlBeliefSet, DungTheory, EvidentialArgumentationFramework, ExecutableDungTheory, FolBeliefSet, MarkovLogicNetwork, MlBeliefSet, NecessityArgumentationFramework, NLPProgram, PartialProbabilityAssignment, PclBeliefSet, PerceivableStructuredArgumentationFramework, PlBeliefSet, ProbabilisticArgumentationFramework, Program, RclBeliefSet, ReachabilityGraph, RpclBeliefSet, SActionQuerySet, SetAf, SimplePlLogicDeductiveKnowledgebase, SocialAbstractArgumentationFramework, StructuredArgumentationFramework, WeightedDungTheory
public interface BeliefBase
This class captures an abstract knowledge base, i.e. some set of formulas in a given knowledge representation language, that can be asked queries.
Author:
Matthias Thimm, Tim Janus

  • Method Summary

    Modifier and Type
    Method
    Description
    Signature
    getMinimalSignature()
    Returns the signature of the language of this knowledge base.
    String
    toString()
     

  • Method Details

    • getMinimalSignature

      Signature getMinimalSignature()
      Returns the signature of the language of this knowledge base.
      Returns:
      the signature of the language of this knowledge base.

    • toString

      String toString()
      Overrides:
      toString in class Object