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.