An interesting issue is that this macro-operator was learned and used in a forwardchaining planner, while we report on its use on a backward-chaining planner.
Chapter 9 describes forward chaining rule-based systems with an example of a pumping station diagnostic system.
The main component of the system is the prover, which implements a backward chaining theorem prover for defeasible logic based directly on the inference rules.
The initial connectors are gradually replaced, first by means of linear chaining through coordination and ellipsis, and eventually by subordination.
Canonical examples of such chaining structures are question/answer/evaluation or proposal/counterproposal/.
The chaining of conditioned reflexes was a major sore point.
The conceptual design of the technical system was augmented using a new component, a capacitor, and according to the algorithm chaining can be completed.
Entailment checking is quadratic in the number of variable occurrences (using a forward chaining algorithm), hence by using this test, join can be refined.
