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