Skip to Main Content
Two data-organization devices that have come out of AI re-search are data pools (``contexts'') and data dependencies. The latter are more flexible than the former, and have supplanted them. Data pools offer certain advantages of efficiency, however, so it is worth trying to make the two mechanisms compatible. Doing this requires generalizing the mark-and-sweep algorithms that maintain consistency in a data-dependency network, so that the labels passed around do not simply say whether a datum is IN or OUT, but say which data pools it is present in. The revised algorithm is essentially an algorithm for solving simultaneous Boolean equations. Other mechanisms are needed for per-forming useful chores like maintaining well-founded support links and orchestrating demon calls.