All Packages Class Hierarchy This Package Previous Next Index
Interface JavaAgent.resource.cdl.KRSentence
- public interface KRSentence
A KRSentence is a sentence in some formal knowledge representation
language. Inheriting from this interface does not demand much from
the inheriting class, but there are a number of functions that, if
implemented should be declared as follows:
- public FOPLFormula getFOPLFormula();
This function should return a FOPLFormula that represents
this KRSentence. Remark: A more elegant approach would use KIF
as an interlingua at this point.
- public ClauseSet getClauses();
This function should return a ClauseSet that represents
this KRSentence. Remark: A more elegant approach would use KIF
as an interlingua at this point.
- static public KRSentence getConjunction(Vector);
This function should return a KRSentence that represents the
conjunction of the KRSentences in the given Vector of KRSentences.
- static public KRSentence getDisjunction(Vector);
This function should return a KRSentence that represents the
disjunction of the KRSentences in the given Vector of KRSentences.
- static public Class getKBClass();
This function should return the Class that implements a
KnowledgeBase for this KRSentence.
-
clone()
- This function generates a copy of this KRSentence that holds the same
knowledge in the same formalism.
-
toString()
- This function generates a String that is the printable version of this
KRSentence.
clone
public abstract Object clone()
- This function generates a copy of this KRSentence that holds the same
knowledge in the same formalism.
- Overrides:
- clone in class Object
toString
public abstract String toString()
- This function generates a String that is the printable version of this
KRSentence.
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index