Uses of Package
ai.krr.fol

Packages that use ai.krr.fol

ai.krr.fol

Classes in ai.krr.fol used by ai.krr.fol

Atom
An Atom is one of the most basic building blocks for a Sentence.

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

Clause

ConnectedSentence
This class represents a Sentence that consists of a Connective that connects a number of (at least two) sub-Sentences.

ConnectedSentence.Connective
This enumeration defines the possible connectives that can connect the sub-Sentences.

Constant
The most basic Term is a Constant that is represented by a Symbol.

FunctionTerm
This class allows to build structured Terms that consist of a function symbol and a number of arguments.

HerbrandGenerator.HerbrandUniverse

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

KifKnowledgeBaseAdaptor

KifSentenceAdaptor.VariableStack

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

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

NegatedSentence
A NegatedSentence is the simplest kind of complex Sentence.

QuantifiedSentence

QuantifiedSentence.Quantifier
This enumeration defines the possible quantifiers that bind variables in the content Sentence.

Sentence
A Sentence is usually used in logic to represent a proposition that is either true or false.

Substitution
A Substitution maps a set of Variables to a set of Terms.

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

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

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

Variable
This class implements symbolic variables in Java.

XfolSentenceAdaptor
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 in an XML Syntax.