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

I

ignorableTT - Static variable in class ai.krr.fol.KifSentenceAdaptor

the token types used

ignorableTT - Static variable in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

the token types used

ignorableTT - Static variable in class ai.krr.propositions.KifSentenceAdaptor

the token types used

indvarTT - Static variable in class ai.krr.fol.KifSentenceAdaptor

the token types used

Instantiation - Class in ai.krr.fol

An Instantiation maps a set of Variables to a set of Terms.

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

IntegerSymbol - Class in ai.krr

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

IntegerSymbol(long) - Constructor for class ai.krr.IntegerSymbol

This constructor creates a new IntegerSymbol with the given value.

integerTT - Static variable in class ai.krr.KifSymbolAdaptor

token types used

integerTT - Static variable in class ai.krr.LispSymbolAdaptor

the token types used

IntEncodedClause - Class in ai.krr.propositions

An IntEncodedClause consists of a list of Literals that are interpreted as a disjunction.

IntEncodedClause(IntEncoding, Collection<Literal>) - Constructor for class ai.krr.propositions.IntEncodedClause

This constructor for a Clause takes a Collection of Literals.

IntEncodedClause(IntEncoding, Literal...) - Constructor for class ai.krr.propositions.IntEncodedClause

This constructor for a Clause takes an Array of Literals.

IntEncodedClause(Collection<Integer>) - Constructor for class ai.krr.propositions.IntEncodedClause

This constructor creates a Clause from the given Literals.

IntEncodedClause(int[]) - Constructor for class ai.krr.propositions.IntEncodedClause

This constructor creates a Clause from the given Literals and hash value.

IntEncodedClause.CnfIntEncodedClauseListAdaptor - Class in ai.krr.propositions

IntEncodedClause.CnfIntEncodedClauseListAdaptor() - Constructor for class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

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.

IntEncodedClause.IntEncodedClauseList - Class in ai.krr.propositions

IntEncodedClause.IntEncodedClauseList(int) - Constructor for class ai.krr.propositions.IntEncodedClause.IntEncodedClauseList

IntEncodedClause.LiteralSet - Class in ai.krr.propositions

IntEncodedClause.LiteralSet(int) - Constructor for class ai.krr.propositions.IntEncodedClause.LiteralSet

IntEncoding - Class in ai.krr.propositions

This class can be used to encode propositional symbols as integers, which have the potential of being processed far more efficiently.

IntEncoding(int) - Constructor for class ai.krr.propositions.IntEncoding

This constructor creates a new, empty IntEncoding that has an initial capacity for encoding up to the given number of Literals.

Interpretation - Class in ai.krr.fol

An Interpretation over a domain D in first-order logic is an assignment of:

Interpretation(Set<Object>) - Constructor for class ai.krr.fol.Interpretation

This constructor creates a new, empty Interpretation for the given domain.

Interpretation - Class in ai.krr.propositions

An Interpretation in the propositional logic is an assignment of truth values to propositional Atom.

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

This constructor creates a new, empty Interpretation.

Interpretation.InterpretationIterator - Class in ai.krr.propositions

Interpretation.InterpretationIterator(Set<NamedSymbol>) - Constructor for class ai.krr.propositions.Interpretation.InterpretationIterator

This constructor creates and initializes a new Iterator that can be used to enumerate all possible Interpretations for a given Set of NamedSymbols.

InterpretationEnumerator - Class in ai.krr.propositions

This class is a very simple and inefficient TheoremProver that enumerates all possible Interpretation to find models that satisfy or falsify a given Sentence.

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

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

This function returns the value of this IntegerSymbol as a Java long.

intValue() - Method in class ai.krr.NumericSymbol

This function returns the value of this NumericSymbol as a Java long.

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

This function returns the value of this RealNumberSymbol as a Java (approximate) long.

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

This function tests whether this Sentence is an Atom.

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

This function tests whether this Sentence is an Atom.

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

This function tests whether this Symbol is a BooleanSymbol.

isBooleanSymbol() - Method in interface ai.krr.Symbol

This function tests whether this Symbol is a BooleanSymbol.

isBooleanSymbol() - Method in class ai.krr.SyntaxAdaptableSymbol

This function tests whether this Symbol is a BooleanSymbol.

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

This function tests whether this Sentence is a conjunction.

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

This function tests whether this Sentence is a conjunction.

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

This function tests whether this Sentence is a disjunction.

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

This function tests whether this Sentence is a disjunction.

isEmpty() - Method in class ai.krr.propositions.IntEncodedClause.LiteralSet

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

This function tests whether this Atom contains any FunctionTerms.

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

This function tests whether this Atom contains any FunctionTerms.

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

This function tests whether this Atom contains any Variables.

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

This function tests whether this Term contains any Variables.

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

This function tests whether this Term contains any Variables.

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

This function tests whether this Atom contains any Variables.

isGround() - Method in class ai.krr.fol.Term

This function tests whether this Term contains any Variables.

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

This function tests whether this Term contains any Variables.

isInconsistent(Sentence) - Method in class ai.krr.fol.HerbrandGenerator

isInconsistent(Set<Clause>) - Method in class ai.krr.fol.HerbrandGenerator

isInconsistent(Sentence) - Method in interface ai.krr.fol.TheoremProver

This function tests whether the given Sentence in first-order logic is inconsistent.

isInconsistent(Sentence) - Method in class ai.krr.propositions.DPSolverIE

This function tests whether the given Sentence in propositional logic is inconsistent.

isInconsistent(Sentence) - Method in class ai.krr.propositions.InterpretationEnumerator

This function tests whether the given Sentence in propositional logic is inconsistent.

isInconsistent(Sentence) - Method in class ai.krr.propositions.RTPSolverIE

This function tests whether the given Sentence in propositional logic is inconsistent.

isInconsistent(Sentence) - Method in interface ai.krr.propositions.TheoremProver

This function tests whether the given Sentence in propositional logic is inconsistent.

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

This function returns whether this NamedSymbol is internal.

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

This function tests whether this Sentence is a Literal.

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

This function tests whether this Sentence is a Literal.

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

This function tests whether this Symbol is a NamedSymbol.

isNamedSymbol() - Method in interface ai.krr.Symbol

This function tests whether this Symbol is a NamedSymbol.

isNamedSymbol() - Method in class ai.krr.SyntaxAdaptableSymbol

This function tests whether this Symbol is a NamedSymbol.

isNumericSymbol() - Method in class ai.krr.NumericSymbol

This function tests whether this Symbol is a NumericSymbol.

isNumericSymbol() - Method in interface ai.krr.Symbol

This function tests whether this Symbol is a NumericSymbol.

isNumericSymbol() - Method in class ai.krr.SyntaxAdaptableSymbol

This function tests whether this Symbol is a NumericSymbol.

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

This function tests whether this is a positive Literal.

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

This function tests whether this is a positive Literal.

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

This function tests whether this clause is a tautology.

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

This function tests whether this clause is a tautology.

isValid(Sentence) - Method in class ai.krr.fol.HerbrandGenerator

isValid(Sentence) - Method in interface ai.krr.fol.TheoremProver

This function tests whether the given Sentence in first-order logic is valid.

isValid(Sentence) - Method in class ai.krr.propositions.DPSolverIE

This function tests whether the given Sentence in propositional logic is valid.

isValid(Sentence) - Method in class ai.krr.propositions.InterpretationEnumerator

This function tests whether the given Sentence in propositional logic is valid.

isValid(Sentence) - Method in class ai.krr.propositions.RTPSolverIE

This function tests whether the given Sentence in propositional logic is valid.

isValid(Sentence) - Method in interface ai.krr.propositions.TheoremProver

This function tests whether the given Sentence in propositional logic is valid.