    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