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