Truth Maintenance System
Whenever new data are added, either locally or globally (via
broadcast messages), truth status data in the local tatami
database must be updated by the truth maintenance system
that propagates truth values up the validation tree. Most
branches are ANDs, but alternative validations for the same task
are ORs; these are repectively evaluated by product and maximum as
we use fuzzy logic for truth values.
24 March 1998