net.sf.tweety.commons

Interface BeliefBase

All Known Subinterfaces:

LogicProgram<C,P,T>

All Known Implementing Classes:

ABATheory, ActionDescription, ActionQuerySet, AnswerSet, AnswerSet, ArgumentationKnowledgeBase, AspicArgumentationTheory, BeliefSet, CActionDescription, ClBeliefSet, CompilationNode, CrMasBeliefSet, DeductiveKnowledgeBase, DefaultTheory, DefeasibleLogicProgram, DungTheory, ExecutableDungTheory, FolBeliefSet, MarkovLogicNetwork, ModalBeliefSet, 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 and Description
Signature	getSignature() Returns the signature of the language of this knowledge base.
java.lang.String	toString()

Method Detail

getSignature

Signature getSignature()

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