This module delivers a component for forward chaining.
Facts can be temporarily posted via the predicate post/1, the forward chaining engine will then compute the completion:? - post(a(1)), b(X).
Fakten können temporär mittels dem Prädikat post/1 hinterlegt werden, die Machinerie der Vorwärtsverkettung berechnet dann den Abschluss:? - post(a(1)), b(X).
Our forward chaining engine already provides nodes hashing, so that answer set programming runs swiftly.
The opposite of forward chaining is backward chaining.
Rule based, modular rule bases for mini applications; rule parser, inference interpreter with forward chaining, explanation component
Regelbasiert, modulare Regelwerke für Mini-Anwendungen; Regelübersetzer, Inferenzinterpreter mit Vorwärtsableitung; Erklärungskomponente
Jekejeke Minlog offers forward chaining rules.
The extension provides the additional functionality of forward chaining and attribute variables.
There is currently the restriction that the resulting forward chaining rules need to generate ground facts.
Let us illustrate forward chaining by following the pattern of a computer as it evaluates the rules.
A computer based inference engine device and method thereof for integrating backward chaining and forward chaining reasoning.
The highlights are: - Forward Chaining: Turning a predicate into a forward chaining predicate is just a matter of a simple declaration::- forward a/1, b/1.
The release mainly features some architectural improvements: - Reasoner Integration: We managed to provide a hypothetical reasoning library that is reused and extended by the forward chaining engine.
Die Ausgabe beinhaltet hauptsächlich einige architektonische Verbesserungen: - Integration der logischen Funktionen: Es ist uns gelungen eine Bibliothek für hypothetisches Schliessen auf die Beine zu stellen, die von der Vorwärtsverkettung wiederverwendet und erweitert wird.