Uses of Package
ai.krr.propositions

Packages that use ai.krr.propositions

ai.krr.fol
ai.krr.propositions

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

Clause
A Clause consists of a list of Literals that are interpreted as a disjunction.

Classes in ai.krr.propositions used by ai.krr.propositions

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
A Clause consists of a list of Literals that are interpreted as a disjunction.

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.

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

IntEncodedClause.IntEncodedClauseList

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

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

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

NegatedSentence
A NegatedSentence is the simplest kind of complex Sentence.

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

TheoremProver
This interface represents a theorem prover for propositional logic.

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

XplSentenceAdaptor
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.