Package edu.isi.powerloom.logic

Class Summary

AbstractPropositionsIterator	Iterator class that can generate sets of propositions matching its selectionPattern.
AlternativeBindingsSet	Represents a set of alternative bindings collected for the pattern variable _theVariableSelf_.
AssertionInferenceLevel	Specifies lookup of assertions only.
AtomicGoalCache	Cache data structure to store the result of proving an atomic and possibly open proposition relative to a set of variable bindings.
AtomicGoalCacheIterator
BacklinksIndex	Contains several types of indices pointing at dependent propositions.
BacktrackingInferenceLevel	Specifies subsumption level inference plus backtracking.
BooleanVectorIndexNode
CheckTypesRecord
ClashingPropositionsIterator
ClassificationCache	Records various kinds of data about a description during a classification session.
ClassificationSession
ClusteredConjunctionProofAdjunct
ComputedProcedure	Each instance denotes a programming language function that computes some procedure.
ConditionalAntecedentProofAdjunct
ControlFrame
ControlFramePriorityQueue
DecisionTree
Description
DescriptionExtensionIterator	Iterates over the extension of a description and its subdescriptions, returning those propositions that are currently true.
DirectlyLinkedObjectsIterator
ExplanationInfo
FloatLogicWrapper
FloatVector
ForwardChainingIndex
ForwardGoalRecord
ForwardJustification	Connects a proposition to other propositions that collectively implied its truth.
GoalCache	Cache of output bindings derived for a particular goal and set of input bindings.
GoalRecord
IncrementalPartialMatch
InferenceLevel	This class hierarchy is used to choose the level of inference applied when dispatching queries (canned or ad hoc).
IntegerLogicWrapper
Justification
Logic
LogicObject	Object with propositions, and possibly a variable value.
LogicThing	A subclass of THING so we can add methods to it in the PowerLoom LOGIC module.
MarkerTable	Used to record (mark) a set of objects.
MultiDimensionalArray
NamedDescription
NnPartialMatch
NonPagingIndex	Index that manages an always-in-memory data strucure containing a sequence of objects.
NormalInferenceLevel	The normal inference level employs all proof strategies except disjunctive implication introduction and refutation.
ObjectStore
PagingIndex	Index that manages a sequence of objects retrievable from persistent storage.
PagingIndexIterator	Iterator that generates successive members of a paging index.
ParallelControlFrame
ParallelThread
PartialMatchFrame	Abstract class acting as placeholder for system and user-defined partial match implementations.
PartialSupport
PatternRecord	A pattern record records bookkeeping data used during the processing of a description.
PatternVariable	A variable in a logical expression.
PowerLoomServer	PowerLoomServer class.
PowerLoomServerThread
PrimitiveStrategy
ProofAdjunct	Subclasses of 'PROOF-ADJUNCT' provide for specialized slots (specialized for a particular strategy) to hold a record of an ongoing proof thread.
Proposition
PropositionNeuralNetwork
QuantityLogicWrapper
QueryIterator	A query iterator points to a query environment representing the initial or intermediate state of a query.
QuerySolution
QuerySolutionTable	Special key/value map for query solutions indexed by output variable binding vectors that also preserves the order of solution generation.
QuerySolutionTableIterator
RefutationInferenceLevel	Normal inference augmented by refutation proof strategy.
SavedContextProofAdjunct
SequenceIndex	Abstract class for managing a sequence of objects.
SequenceIndexIterator	Iterator that generates successive members of a sequence index.
ShallowInferenceLevel	Specifies lookup of assertions plus simple frame computations.
Skolem	Object whose identity and type are not fixed at creation time.
SpecializingPropositionsIterator	Iterator class that can generate sets of true propositions matching its selectionPattern or a more specific pattern that substitutes one of the relations in specializingRelations.
StartupLogicSystem
StringLogicWrapper
SubstringPositionIterator
SubsumptionInferenceLevel	Specifies lookup augmented with cached subsumption links and equality reasoning.
SupportedClosureIterator	Iterator that visits all objects reachable via true link propositions generated by an embedded link proposition iterator.
TrainingExample	A single example of a proposition paired with the score that should be returned and the module it should be evaluated in.
TransitiveClosureIterator	Iterator that visits all nodes reachable using an embedded adjacency function.
TruePropositionsIterator	Iterator class that can generate sets of true propositions matching its selectionPattern.
TruthValue
twoDArray	Two-dimensional arrays with elements of type OBJECT.
twoDFloatArray	Two-dimensional arrays with elements of type FLOAT.
WhynotDeepPartialMatch	Variant of WhyNot partial match geared towards deep proofs.
WhynotPartialMatch	Variant of :BASIC partial match strategy to support WHYNOT queries.
WhynotProofClass	Set of equivalent WhyNot proofs that differ in at most one variable binding all on the same deviatingVariable.

Exception Summary

Clash
ExplainException
ExplainNoMoreSolutionsException
ExplainNoQueryException
ExplainNoSolutionException
ExplainNoSuchLabelException
ExplainNotEnabledException
ExplainQueryTrueException
FailException
LogicException
ObjectAlreadyExistsException
ParsingError
PropositionError
QueryThreadLimitViolation
TermGenerationException	Signals an exception during term generation.