Package org.tweetyproject.commons

Interface BeliefBase

All Known Subinterfaces:

AbstractDialecticalFramework, ArgumentationFramework<Arg>, LogicProgram<C,P,T>

All Known Implementing Classes:

AbaTheory, AbstractBipolarFramework, AbstractEAFTheory, ActionDescription, ActionQuerySet, ArgumentationKnowledgeBase, AspicArgumentationTheory, BeliefSet, BpmnModel, CActionDescription, CausalKnowledgeBase, CausalModel, ClaimBasedTheory, ClBeliefSet, CompilationNode, CrMasBeliefSet, DeductiveArgumentationFramework, DeductiveKnowledgeBase, DefaultTheory, DefeasibleLogicProgram, DlBeliefSet, DungTheory, EAFTheory, EvidentialArgumentationFramework, ExecutableDungTheory, ExtendedTheory, FolBeliefSet, IncompleteTheory, InducedTheory, KnowledgeBase, MarkovLogicNetwork, MlBeliefSet, NamedPEAFTheory, NecessityArgumentationFramework, NLPProgram, PartialProbabilityAssignment, PclBeliefSet, PEAFTheory, PerceivableStructuredArgumentationFramework, PlBeliefSet, ProbabilisticArgumentationFramework, Program, RclBeliefSet, ReachabilityGraph, RecursiveExtendedTheory, RpclBeliefSet, SActionQuerySet, SetAf, SimplePlLogicDeductiveKnowledgebase, SocialAbstractArgumentationFramework, StructuredArgumentationFramework, WeightedArgumentationFramework, 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