Rules
- Our next step is to make a system that applies rules.
- Rules allow all caluclable functions.
- Binding is essential for rules.
- One way to implement a rule is to have a CA for
each primitive and one for the rule.
- The rule CA is activated when all the primitives
are present.
- The CA runs by activating or forming the consequent,
and shutting itself down (and maybe some of the
antecedent primitives).
- For instance the rule if the goal is 2+1 and the
current value is 2, then the current value is 3.
- There is a CA for 2, 3, goal is 2+1 and the rule. When
the 2 CA and the goal is 2+1 CA ignite, the rule CA ignites.
- It runs by turning the 3 CA on, turning off the 2 CA, and turning
itself off.
