A B C D E F G H I K L M N O P Q R S T U V W X Z

K

KifKnowledgeBaseAdaptor - Class in ai.krr.fol

KifKnowledgeBaseAdaptor() - Constructor for class ai.krr.fol.KifKnowledgeBaseAdaptor

This constructor creates a SyntaxAdaptor that can be used to read statements in a (propositional) KIF syntax and create a propositional Sentence for it, or it can be used to write out a propositional Sentence in KIF syntax.

KifSentenceAdaptor - Class in ai.krr.fol

This class is an adaptor between the ai.krr.propositions.Sentence class that can be used as an internal representation for reasoning and its external form as defined by the KIF syntax as described below.

KifSentenceAdaptor() - Constructor for class ai.krr.fol.KifSentenceAdaptor

This constructor creates a SyntaxAdaptor that can be used to read statements in a (propositional) KIF syntax and create a propositional Sentence for it, or it can be used to write out a propositional Sentence in KIF syntax.

KifSentenceAdaptor - Class in ai.krr.propositions

This class is an adaptor between the ai.krr.propositions.Sentence class that can be used as an internal representation for reasoning and its external form as defined by the KIF syntax as described below.

KifSentenceAdaptor() - Constructor for class ai.krr.propositions.KifSentenceAdaptor

This constructor creates a SyntaxAdaptor that can be used to read statements in a (propositional) KIF syntax and create a propositional Sentence for it, or it can be used to write out a propositional Sentence in KIF syntax.

KifSentenceAdaptor.VariableStack - Class in ai.krr.fol

KifSentenceAdaptor.VariableStack() - Constructor for class ai.krr.fol.KifSentenceAdaptor.VariableStack

KifSymbolAdaptor - Class in ai.krr

This class is an adaptor between the Symbol class that can be used as an internal representation for reasoning and its external form as defined by the KIF syntax described below and at http://logic.stanford.edu/kif/.

KifSymbolAdaptor() - Constructor for class ai.krr.KifSymbolAdaptor

This constructor creates a SyntaxAdaptor that can be used to read symbols in a KIF syntax and create a Symbol for it, or it can be used to write out a Symbol in KIF syntax.

KnowledgeBase - Class in ai.krr.fol

A KnowledgeBase is effectively a set of Sentences believed to be true.

KnowledgeBase() - Constructor for class ai.krr.fol.KnowledgeBase