Example : MultiAgent Truth Maintenance
(Huhns & Bridgeland 91)
- assign truth values to uncertain data so that the truth values are consistent with each other
- shared data must have the same truth values (shared consistency)
- can be formalized as a distributed CSP (uncertain data = variables)
nogood{(fly,IN)(has-wing,OUT)},
nogood{(mammal,IN),(bird,IN)},
nogood{(bird,IN),(penguin,OUT), (fly,OUT)}, etc.