REFERENCES
- Abu-Hanna , A. , Benjamins , R. ,and Jansweijer , W. 1991 . Device understanding and modeling for diagnosis . IEEE Expert 6 ( 2 ) 26 – 32 .
- Bakker , R. R. Bourseau , M. , and deWeger , M. K. 1992 . Pragmatic reasoning in model-based diagnosis . Working notes of the third international workshop onprinciples of diagnosis , Rosario , WA , October 1992 , pp. 107 – 116 .
- Bradshaw , J. A. , and Young , R. M. 1991 . Evaluating design knowledge using knowledge of purpose and knowledge of structure . IEEE Expert 6 ( 2 ) 33 – 40 .
- Brajnik , G. Chittaro , L. , Tasso , C. and Toppano , E. 1990 . Epistemology, organization and use of functional knowledge for reasoning about physical systems . Proceedings of the tenth international workshop on expert systems and their applications, held in conjunction with the second generation expert systems conference , Avignon , France , May 1990 , pp. 53 – 66 .
- Chen , J. S. , and Srihari , S.N. 1989 . Candidate ordering and elimination in model-based fault diagnosis . Proceedings of the international joint conference on artificial intelligence . Detroit , MI , August 1989 , pp. 1363 – 1368 .
- Console , L. , and Torasso , P. 1991 . A spectrum of logical definitions of model based diagnosis . Computational Intelligence 7 ( 3 ) 133 – 141 .
- David , J. M. , and Krivine , J. P. 1989 . Augmenting experience-based diagnosis with causal reasoning . Applied Artificial Intelligence 3 239 – 248 .
- Davis , R. 1984 . Diagnostic reasoning based on structure and behavior . Artificial Intelligence 24 347 – 410 .
- Davis , R. 1989 . Form and content in model based reasoning . International joint conference on artificial intelligence workshop on model based reasoning , Detroit , MI , August 1989 , pp. 11 – 27 .
- deKleer , J. 1979 . The origin and resolution of ambiguities in causal arguments . Proceedings of the sixth international joint conference on artificial intelligence , Tokyo , Japan , August 1979 , pp. 197 – 203 .
- deKleer , J. 1990 . Using crude probability estimates lo guide diagnosis . Artificial Intelligence 45 381 – 392 .
- deKleer , J. , and Williams , B. C. 1987 . Diagnosing multiple faults . Artificial Intelligence 32 97 – 130 .
- deKleer , J. , and Williams , B. C. 1989 . Diagnosis with behavioral modes . Proceedings of the J 1th international joint conference on artificial intelligence , Detroit , MI , August 1989 , pp. 1324 – 1330 .
- Farquhar , A. 1989 . Focusing ATMS-based diagnosis and prediction . Working notes ofAAAl workshop on model based reasoning , Detroit , MI , August 1989 , pp. 41 – 45 .
- Fink , P. K. , and Lusth , J. C. 1987 . Expert systems and diagnostic expertise in the mechanical and electrical domains . IEEE Transactions on Systems, Man and Cybernetics 17 ( 3 ) 340 – 349 .
- Hunt , J. , and Price , C. 1992 . Multiple-model diagnosis of electro-mechanical subsystems . Journal of Systems Engineering 2 74 – 89 .
- Josephson , J. , and Josephson , S. 1993 . Abductive inference Computation, philosophy, technology . Cambridge Cambridge University Press .
- Kumar , A. N. , and Upadhyaya , S. J. 1992 . Framework for function-based diagnosis . Technical Report 92 – 19 . State University of New York at Buffalo .
- Lind , M. 1993 . Multilevel flow modeling . Working notes ofthe AAAI-93 workshop on reasoning about function , Washington , DC , July 1993 , pp. 86 – 94 .
- Milne , R. 1985 . Diagnosing faults through responsibility . Proceedings of the annual conference of the ACM , October 1985 , pp. 88 – 91 .
- Paynter , H. M. 1961 . Analysis and design of engineering systems . Cambridge , MA MIT Press .
- Poole , D. 1992 . Efficient model-based diagnosis Searching in Bayesian networks . Working notes of the third international workshop on principles of diagnosis , October 1992 , pp. 159 – 168 .
- Reggia , J. A. , Nau , D. S. , and Wang , P. Y. 1985 . A formal model of diagnostic inference. II. Algorithmic solution and application . Information Sciences 37 257 – 285 .
- Simmons , R. , and Davis , R. 1987 . Generate, test and debug: Combining associational rules and causal models . Proceedings of the tenth international joint conference on artificial intelligence , Milan , Italy , August 1987 , pp. 1071 – 1078 .
- Sticklen , J. , and Chandrasekaran , B. 1989 . Integrating classification-based compiled level reasoning with function-based deep level reasoning . In Causal Al models: Steps toward applications , ed. W. Horn . pp. 191 – 220 , Washington , DC Hemisphere
- Vescovi , M. , Iwasaki , Y. , Fikes , R. , and Chandrasekaran , B. 1993 . CFRL A language for specifying the causal functionality of engineered devices . Proceedings ofthe eleventh national conference on artificial intelligence . Washington , DC , July 1993 , pp. 626 – 634 .