共 23 条
[1]
Addanki S., Cremonini R., Penberthy J.S, Reasoning about assumptions in graph of models, Proc. Int. Joint Conf. Artif. Intell., 2, pp. 1432-1438, (1989)
[2]
Arun Kumar A.T, Mahabala H.N, Multi-level qualitative reasoning applied to hydraulic circuits, (1992)
[3]
Collins J., Forbus K.D, Reasoning about fluids via molecular collections, Proc. Am. Assoc. Artif. Intell. 87, 1, pp. 590-594, (1987)
[4]
de Kleer J., An assumption-based TMS, Artif. Intell., 28, 2, pp. 127-162, (1986)
[5]
de Kleer J., Problem solving with ATMS, Artif. Intell., 28, 2, pp. 197-224, (1986)
[6]
de Kleer J., Brown J.S, A qualitative physics based on confluences, Artif. Intell., 24, 1-3, pp. 7-83, (1984)
[7]
de Kleer J., Willia B.C, Diagnosing multiple faults, Artif. Intell., 32, 1, pp. 97-130, (1987)
[8]
Dressler O., Farquhar A., Putting the problem solver back in the driver’s seat: Contextual control of the ATMS, Lecture notes in artificial intelligence, 515, pp. 1-16, (1990)
[9]
Falkenhainer B., Forbus K.D, Setting up large scale qualitative models, Proc. Am. Assoc. Artif. Intell. 88, 1, pp. 301-306, (1988)
[10]
Forbus K.D, Qualitative process theory, Artif. Intell., 24, 1-3, pp. 85-168, (1984)