Package net.sf.tweety.commons
Interface BeliefBase
-
- All Known Subinterfaces:
AbstractDialecticalFramework
,LogicProgram<C,P,T>
- All Known Implementing Classes:
AbaTheory
,AbstractBipolarFramework
,ActionDescription
,ActionQuerySet
,ArgumentationKnowledgeBase
,AspicArgumentationTheory
,BeliefSet
,BpmnModel
,CActionDescription
,ClBeliefSet
,CompilationNode
,CrMasBeliefSet
,DeductiveArgumentationFramework
,DeductiveKnowledgeBase
,DefaultTheory
,DefeasibleLogicProgram
,DlBeliefSet
,DungTheory
,EvidentialArgumentationFramework
,ExecutableDungTheory
,ExtendedAbstractDialecticalFramework
,FolBeliefSet
,GraphAbstractDialecticalFramework
,MarkovLogicNetwork
,MlBeliefSet
,NecessityArgumentationFramework
,NLPProgram
,PartialProbabilityAssignment
,PclBeliefSet
,PerceivableStructuredArgumentationFramework
,PlBeliefSet
,ProbabilisticArgumentationFramework
,Program
,RclBeliefSet
,RpclBeliefSet
,SActionQuerySet
,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.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 classjava.lang.Object
-
-