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

B

beliefs - Variable in class ai.krr.fol.KnowledgeBase

the List of Sentences that hold in this KB

BinaryConnectedSentence - Class in ai.krr.fol

This class represents a Sentence that consists of a Connective that connects two sub-Sentences.

BinaryConnectedSentence(Sentence, ConnectedSentence.Connective, Sentence) - Constructor for class ai.krr.fol.BinaryConnectedSentence

This constructor for a BinaryConnectedSentence takes a Connective and two Sentences which are the Sentences that are connected by the given connective.

BinaryConnectedSentence - Class in ai.krr.propositions

This class represents a Sentence that consists of a Connective that connects two sub-Sentences.

BinaryConnectedSentence(Sentence, ConnectedSentence.Connective, Sentence) - Constructor for class ai.krr.propositions.BinaryConnectedSentence

This constructor for a BinaryConnectedSentence takes a Connective and two Sentences which are the Sentences that are connected by the given connective.

blockTT - Static variable in class ai.krr.KifSymbolAdaptor

token types used

BooleanSymbol - Class in ai.krr

This class implements part of the foundations for symbolic programming in Java.

booleanValue() - Method in class ai.krr.BooleanSymbol

This function returns the value of this BooleanSymbol as a Java boolean.

booleanValue() - Method in class ai.krr.fol.TruthValue

This function returns the boolean value of the BooleanSymbol that represents this TruthValue.

booleanValue() - Method in class ai.krr.propositions.TruthValue

This function returns the boolean value of the BooleanSymbol that represents this TruthValue.

bwordTT - Static variable in class ai.krr.LispSymbolAdaptor

the token types used