BeliefBase

All Known Subinterfaces:

LogicProgram<C,P,T>

All Known Implementing Classes:

AbaTheory, AbstractDialecticalFramework, ActionDescription, ActionQuerySet, ArgumentationKnowledgeBase, AspicArgumentationTheory, BeliefSet, BipolarArgFramework, CActionDescription, ClBeliefSet, CompilationNode, CrMasBeliefSet, DeductiveKnowledgeBase, DefaultTheory, DefeasibleLogicProgram, DlBeliefSet, DungTheory, EvidentialArgSystem, ExecutableDungTheory, FolBeliefSet, MarkovLogicNetwork, MlBeliefSet, NLPProgram, PartialProbabilityAssignment, PclBeliefSet, PerceivableStructuredArgumentationFramework, PlBeliefSet, ProbabilisticArgumentationFramework, Program, RclBeliefSet, RpclBeliefSet, SActionQuerySet, SimplePlLogicDeductiveKnowledgebase, SocialAbstractArgumentationFramework, StructuredArgumentationFramework
```
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.
  
  java.lang.String toString()

- Method Detail
  - getMinimalSignature
```
Signature getMinimalSignature()
```
    Returns the signature of the language of this knowledge base.
    
    Returns:
    
    the signature of the language of this knowledge base.
  - toString
```
java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object