|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |