| org.mandarax.reference |
|
| Java Source File Name | Type | Comment |
| AbstractKnowledgeBase.java | Class | Abstract super class for knowledge bases. |
| AbstractResolutionInferenceEngine.java | Class | Abstract superclass for inference engines based on resolution. |
| AdvancedKnowledgeBase.java | Class | Default implementation of a knowledge base managing clause sets
in anordered container (like a list). |
| CautiousSemanticEvaluationPolicy.java | Class | Semantic evaluation policy that evaluates complex terms only if they are in the context
of a semantic predicate. |
| Complex.java | Class | Abstract super class for logical entities such as complex terms and facts. |
| ComplexTermImpl.java | Class | Reference implementation for complex terms. |
| ConstantTermImpl.java | Class | Reference implementation for constant terms. |
| DefaultInferenceEngine.java | Class | Default inference engine. |
| DefaultLogicFactory.java | Class | Factory object for creating logical entities objects.
The classes with the postfix Impl should never be instanciated
directly. |
| DefaultLoopCheckingAlgorithm.java | Class | Simple implementation of a loop checking algorithm that can be customized
by setting some parameters. |
| DefaultSelectionPolicy.java | Class | Selection policy that orders literals from the left to the right,
but moves all negated literals to the right.
Using this selection policy can proof R(a) from -P(x),Q(x) -> R(x),Q(a) , using
'left most selection' would only be able to do this with prerequisites
being in a different position. |
| DefaultSemanticEvaluationPolicy.java | Class | Default policy to do semantic evaluation: if predicates / functions are semantic,
always try to evaluate the respective clauses / complex terms. |
| DerivationNodeImpl.java | Class | Derivation nodes represent application of a single rule. |
| DerivationStepCounter.java | Class | Simple class for counting the derivation step. |
| DerivationTreeBuilder.java | Class | Builder for a derivation tree. |
| ExtendedUnificationAlgorithm.java | Interface | Extended unification algorithm that keeps a reference to the semantic evaluation policy
and can use it in order to unify terms. |
| FactImpl.java | Class | Reference implementation for (simple) facts. |
| IEUtils.java | Class | Class containing some useful utilities for inference engine implementations. |
| KnowledgeBase.java | Class | Default implementation of a knowledge base. |
| LeftMostSelectionPolicy.java | Class | Simple selection policy - just use the natural order of the
negative literals of the goal. |
| NoSemanticEvaluationPolicy.java | Class | Semantic evaluation policy that switches semantic evaluation off. |
| NullLoopCheckingAlgorithm.java | Class | Trivial loop checking algorithm which actually means no loop checking at all. |
| PrerequisiteImpl.java | Class | Reference implementation of the Prerequisite interface. |
| QueryImpl.java | Class | Reference implementation of the Query interface.
Warning:This class should only be instanciated through a logic factory object. |
| Resolution.java | Class | Helper class to retrieve resolution steps. |
| ResolutionInferenceEngine.java | Class | Implementation of an inference engine returning only one result. |
| ResolutionInferenceEngine2.java | Class | Implementation of an inference engine returning many results. |
| ResolutionInferenceEngine3.java | Class | Implementation of an inference engine returning many results. |
| ResolutionInferenceEngine4.java | Class | Implementation of an inference engine returning many results. |
| ResultSetImpl2.java | Class | Implementation of a result set for ResolutionInferenceEngine2. |
| RightMostSelectionPolicy.java | Class | Simple selection policy - just use the converse order of the
negative literals of the goal. |
| RobinsonsUnificationAlgorithm.java | Class | Reference implementation of Robinson's unification algorithm. |
| RuleImpl.java | Class | Reference implementation for rules. |
| SemanticEvaluationPolicy.java | Interface | Algorithm used by the inference engines to evaluate 'semantic' clauses
and terms. |
| SessionImpl.java | Class | Default session implementation. |
| StrictSelectionPolicy.java | Class | Strict selection policy - just use the first negative literal of the goal. |
| TmpClause.java | Class | Simple clause class for internal use in the inference engine. |
| VariableRenaming.java | Class | Utility to clone facts and to rename variables. |
| VariableTermImpl.java | Class | Reference implementation for variable terms. |