If truth maintenance is a central part of your architecture, I recommend
Building Problem Solvers, by Kenneth Forbus and Johan de Kleer. It's on
Amazon:
http://www.amazon.com/Building-Problem-Solvers-Artificial-Intelligence/dp/02
62061570/ref=sr_1_1?ie=UTF8qid=1307815663sr=8-1
and you can find
Hi,
I have been trying to understand the slot-specific functionality which
is described in the JESS manual as follows:
---
6.18. The 'slot-specific' declaration for deftemplates
Deftemplate definitions can now include a declare section just as
Oooh, that's a bad example; I'll have to fix the manual. If you type
(watch all) before your code, you'll see that the rule actually fires
twice; once when B is nil, and once when it's 3. But the second time
it fires, the modify has no effect, since the slot is being modified
to contain
Argh, sorry, I used no-loop in my example, but I meant slot-
specific.
On Jun 12, 2011, at 11:12 PM, Ernest Friedman-Hill wrote:
Oooh, that's a bad example; I'll have to fix the manual. If you type
(watch all) before your code, you'll see that the rule actually
fires twice; once when B is