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

T

Term - Class in ai.krr.fol

A Term represents an object in a conceptualisation of some domain.

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

terminate() - Method in class ai.krr.propositions.DPSolverIE

This function can be used to terminate the search for a model.

terminate() - Method in class ai.krr.propositions.RTPSolverIE

This function can be used to terminate the search for a model.

theName - Variable in class ai.krr.fol.Variable

TheoremProver - Interface in ai.krr.fol

This interface represents a theorem prover for first-order logic.

TheoremProver - Interface in ai.krr.propositions

This interface represents a theorem prover for propositional logic.

theSy - Variable in class ai.krr.fol.Constant

the Symbol contained in this Constant

theSy - Variable in class ai.krr.fol.TruthValue

the BooleanSymbol representing the TruthValue

theSy - Variable in class ai.krr.propositions.Atom

the proposition symbol

theSy - Variable in class ai.krr.propositions.Literal

the proposition symbol

theSy - Variable in class ai.krr.propositions.TruthValue

the BooleanSymbol representing the TruthValue

theType - Variable in class ai.krr.fol.Variable

toClauseForm() - Method in class ai.krr.fol.Sentence

This function converts this Sentence into an equivalent Set of Clauses.

toClauseForm() - Method in class ai.krr.propositions.Sentence

This function converts this Sentence into an equivalent set of Clauses.

toCNF(boolean) - Method in class ai.krr.fol.Atom

This function returns a new Literal which contains the proposition contained in this Atom.

toCNF(boolean) - Method in class ai.krr.fol.BinaryConnectedSentence

This function returns a new Sentence which is the CNF of this Sentence.

toCNF(boolean) - Method in class ai.krr.fol.ConnectedSentence

This function returns a new Sentence which is the CNF form of this ConnectedSentence.

toCNF(boolean) - Method in class ai.krr.fol.Literal

This function returns a new Literal which contains the proposition contained in this Atom.

toCNF(boolean) - Method in class ai.krr.fol.NegatedSentence

This function returns a new Literal which contains the proposition contained in this Atom.

toCNF(boolean) - Method in class ai.krr.fol.QuantifiedSentence

This function returns a new Sentence which is the CNF of this Sentence.

toCNF() - Method in class ai.krr.fol.Sentence

This function returns a new Sentence which is the CNF of this Sentence.

toCNF(boolean) - Method in class ai.krr.fol.Sentence

This function returns a new Sentence which is the CNF of this Sentence.

toCNF(boolean) - Method in class ai.krr.fol.TruthValue

This function returns a new TruthValue which contains the same BooleanSymbol or its negation, depending on the given boolean.

toCNF(boolean) - Method in class ai.krr.propositions.Atom

This function returns a new Literal which contains the proposition contained in this Atom.

toCNF(boolean) - Method in class ai.krr.propositions.BinaryConnectedSentence

This function returns a new Sentence which is the CNF of this Sentence.

toCNF(boolean) - Method in class ai.krr.propositions.ConnectedSentence

This function returns a new Sentence which is the CNF form of this ConnectedSentence.

toCNF(boolean) - Method in class ai.krr.propositions.Literal

This function returns a new Literal which is a copy of this Literal.

toCNF(boolean) - Method in class ai.krr.propositions.NegatedSentence

This function returns a new Literal which contains the proposition contained in this Atom.

toCNF() - Method in class ai.krr.propositions.Sentence

This function returns a new Sentence which is the CNF of this Sentence.

toCNF(boolean) - Method in class ai.krr.propositions.Sentence

This function returns a new Sentence which is the CNF of this Sentence.

toCNF(boolean) - Method in class ai.krr.propositions.TruthValue

This function returns a new TruthValue which contains the same BooleanSymbol or its negation, depending on the given boolean.

toDNF(boolean) - Method in class ai.krr.fol.Atom

This function returns a new Literal which contains the proposition contained in this Atom.

toDNF(boolean) - Method in class ai.krr.fol.BinaryConnectedSentence

This function returns a new Sentence which is the DNF of this Sentence.

toDNF(boolean) - Method in class ai.krr.fol.ConnectedSentence

This function returns a new Sentence which is the CNF form of this AndOrSentence.

toDNF(boolean) - Method in class ai.krr.fol.Literal

This function returns a new Literal which contains the proposition contained in this Atom.

toDNF(boolean) - Method in class ai.krr.fol.NegatedSentence

This function returns a new Literal which contains the proposition contained in this Atom.

toDNF(boolean) - Method in class ai.krr.fol.QuantifiedSentence

This function returns a new Sentence which is the CNF of this Sentence.

toDNF() - Method in class ai.krr.fol.Sentence

This function returns a new Sentence which is the DNF of this Sentence.

toDNF(boolean) - Method in class ai.krr.fol.Sentence

This function returns a new Sentence which is the DNF of this Sentence.

toDNF(boolean) - Method in class ai.krr.fol.TruthValue

This function returns a new TruthValue which contains the same BooleanSymbol or its negation, depending on the given boolean.

toDNF(boolean) - Method in class ai.krr.propositions.Atom

This function returns a new Literal which contains the proposition contained in this Atom.

toDNF(boolean) - Method in class ai.krr.propositions.BinaryConnectedSentence

This function returns a new Sentence which is the DNF of this Sentence.

toDNF(boolean) - Method in class ai.krr.propositions.ConnectedSentence

This function returns a new Sentence which is the CNF form of this AndOrSentence.

toDNF(boolean) - Method in class ai.krr.propositions.Literal

This function returns a new Literal which is a copy of this Literal.

toDNF(boolean) - Method in class ai.krr.propositions.NegatedSentence

This function returns a new Literal which contains the proposition contained in this Atom.

toDNF() - Method in class ai.krr.propositions.Sentence

This function returns a new Sentence which is the DNF of this Sentence.

toDNF(boolean) - Method in class ai.krr.propositions.Sentence

This function returns a new Sentence which is the DNF of this Sentence.

toDNF(boolean) - Method in class ai.krr.propositions.TruthValue

This function returns a new TruthValue which contains the same BooleanSymbol or its negation, depending on the given boolean.

toSentence() - Method in class ai.krr.fol.Clause

This function converts this Clause to an ordinary first-order Sentence, which is either TruthValue.FALSE for the empty Clause, a Literal for a unit Clause, or a disjunction of the Literals in this Clause.

toString() - Method in class ai.krr.AnonymousSymbol

This function returns a printable representation of this AnonymousSymbol which is the type of this AnonymousSymbol followed by the index (without space).

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

This function returns a printable representation of this BooleanSymbol which is either "TRUE" or "FALSE".

toString() - Method in class ai.krr.CharacterSymbol

This function returns a printable representation of this CharacterSymbol which is simply the character as a String.

toString() - Method in class ai.krr.fol.Atom

A Atom is printed as <predicate> ( <Term>+ ).

toString() - Method in class ai.krr.fol.Clause

A Clause is printed as:

toString() - Method in class ai.krr.fol.ConnectedSentence

A ConnectedSentence is printed as:

toString() - Method in class ai.krr.fol.Constant

A Constant is printed as the Symbol it holds.

toString() - Method in class ai.krr.fol.FunctionTerm

A FunctionTerm is printed as <function> ( <term>+ ).

toString() - Method in class ai.krr.fol.Literal

A Literal is printed as {+|-} <predicate> ( <Term>+ ).

toString() - Method in class ai.krr.fol.NegatedSentence

A NegatedSentence is printed as the tilde symbol '~' followed by the contained Sentence.

toString() - Method in class ai.krr.fol.QuantifiedSentence

A QuantifiedSentence is printed as:

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

A TruthValue is printed as the contained symbol.

toString() - Method in class ai.krr.fol.Variable

A Variable is printed as a question mark followed by the String that is its name and its index.

toString() - Method in class ai.krr.IntegerSymbol

This function returns a printable representation of this IntegerSymbol which is the value (a long) of this NumericSymbol.

toString() - Method in class ai.krr.NamedSymbol

This function returns a printable representation of this NamedSymbol which is the URI for its NameSpace followed by the hash character followed by the name of the symbol.

toString(Map<NameSpace, String>) - Method in class ai.krr.NamedSymbol

This function returns a printable representation of this NamedSymbol which is an abbreviation for the NameSpace from the given Map followed by the colon character followed by the name of the symbol.

toString() - Method in class ai.krr.NameSpace

This function returns a String representation of this NameSpace, which is the same as the String representing its URI.

toString() - Method in class ai.krr.propositions.Atom

An Atom is printed as the proposition symbol.

toString() - Method in class ai.krr.propositions.Clause

A Clause is printed as:

toString() - Method in class ai.krr.propositions.ConnectedSentence

A ConnectedSentence is printed as:

toString() - Method in class ai.krr.propositions.IntEncodedClause

A Clause is printed as:

toString() - Method in class ai.krr.propositions.IntEncoding

This function creates a String representation of this IntEncoding.

toString() - Method in class ai.krr.propositions.Interpretation

This function returns a printable representation of this Interpretation.

toString() - Method in class ai.krr.propositions.Literal

A Literal is printed as the sign ('+' or '-') followed by the proposition symbol.

toString() - Method in class ai.krr.propositions.NegatedSentence

A NegatedSentence is printed as the tilde symbol '~' followed by the contained Sentence.

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

A TruthValue is printed as the contained symbol.

toString() - Method in class ai.krr.RealNumberSymbol

This function returns a printable representation of this RealNumberSymbol which is the value (a double) of this NumericSymbol.

toString() - Method in class ai.krr.StringSymbol

This function returns a printable representation of this StringSymbol which is simply the contained String itself.

traceStream - Variable in class ai.krr.fol.HerbrandGenerator

the stream to which trace output should be written or null, the default value, for no tracing

traceStream - Variable in class ai.krr.propositions.DPSolverIE

the stream to which trace output should be written or null, the default value, for no tracing

traceStream - Variable in class ai.krr.propositions.RTPSolverIE

the stream to which trace output should be written or null, the default value, for no tracing

TRUE - Static variable in class ai.krr.BooleanSymbol

the BooleanSymbol for TRUE

TRUE - Static variable in class ai.krr.fol.TruthValue

the TruthValue for TRUE

TRUE - Static variable in class ai.krr.propositions.TruthValue

the TruthValue for TRUE

trueTT - Static variable in class ai.krr.KifSymbolAdaptor

token types used

trueTT - Static variable in class ai.krr.LispSymbolAdaptor

the token types used

TruthValue - Class in ai.krr.fol

A TruthValue is one of the most basic building blocks for a Sentence.

TruthValue - Class in ai.krr.propositions

A TruthValue is one of the most basic building blocks for a Sentence.