A theory of diagnosis from first principles

1980, 13 (1, 2) Brown, 1982, Pedagogical natural language and knowledge engineering techniques in SOPHIE I, II and III, 227 1984 Davis, 1984, Diagnostic reasoning based on structure and behavior, Artificial Intelligence, 24, 347, 10.1016/0004-3702(84)90042-0 de Kleer, 1976, Local methods for localizing faults in electronic circuits, MIT AI Memo 394 de Kleer, 1987, Diagnosing multiple faults, Artificial Intelligence, 32, 97, 10.1016/0004-3702(87)90063-4 Genesereth, 1984, The use of design descriptions in automated diagnosis, Artificial Intelligence, 24, 411, 10.1016/0004-3702(84)90043-2 Ginsberg, 1986, Counterfactuals, Artificial Intelligence, 30, 35, 10.1016/0004-3702(86)90067-6 Jacobs, 1982, On database logic, J. ACM, 29, 310, 10.1145/322307.322310 Jones, 1985, An expert system for educational diagnosis based on default logic, II, 673 McCarthy, 1986, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, 28, 89, 10.1016/0004-3702(86)90032-9 Moszkowski, 1985, A temporal logic for multilevel reasoning about hardware, IEEE Computer, 18, 10, 10.1109/MC.1985.1662795 Poole, 1985, Theorist: A logical reasoning system for defaults and diagnosis Reggia, J.A., Personal communication. Reggia, 1983, Diagnostic expert systems based on a set covering model, Int. J. Man-Mach. Stud., 19, 437, 10.1016/S0020-7373(83)80065-0 Reggia, 1985, A formal model of diagnostic inference I. Problem formulation and decomposition, Inf. Sci., 37, 227, 10.1016/0020-0255(85)90015-5 Reiter, 1980, A logic for default reasoning, Artificial Intelligence, 13, 81, 10.1016/0004-3702(80)90014-4 Tsotsos, 1985, Knowledge organization and its role in representation and interpretation for time-varying data: The ALVEN system, Comput. Intell., 1, 16, 10.1111/j.1467-8640.1985.tb00056.x