Causal modelling of semiconductor fabrication

Artificial intelligence and molecular biology

“…GENSIM does not represent temporal aspects of objects explicitly; the work of (Simmons and Mohammed, 1987) and (Williams, 1986) is relevant to this problem. GENSIM's task is to simulate the behavior of a biochemical system during a very short interval of time.…”

“…Forbus (Forbus, 1984;Forbus, 1986) and Simmons and Mohammed (Simmons and Mohammed, 1987) use a notion of process in their processmodeling systems that is similar to that used by GENSIM; all include parameters, preconditions, and effects. GENSIM processes are most similar to what Forbus terms individual views, because both are concerned with creating and deleting objects, and with altering relations between objects.…”

“…Other researchers employ an ATMS, but for different purposes: Forbus uses it to represent alternative envisionments more efficiently (Forbus, 1986), and Simmons and Mohammed use it to represent causal dependencies for later analysis by their diagnostic system (Simmons and Mohammed, 1987).…”

“…One reason for this may be that in their domains, objects do not represent populations of molecules, some of which probabilistically change to another state-they represent individual objects that change completely. Simmons and Mohammed (Simmons and Mohammed, 1987) use an explicit model of time to represent object properties as histories, so in effect, different versions of different objects exist at different points in time due to the different values their properties take on at these different points in time. The biochemistry domain does not allow this approach because the populations of molecules we model often coexist at a single time.…”