Diagnosing multiple faults

Artificial Intelligence - Tập 32 - Trang 97-130 - 1987
Johan de Kleer1
1Intelligent Systems Laboratory, XEROX Palo Alto Research Center, Palo Alto, CA 94304, U.S.A.

Tài liệu tham khảo

Ben-Bassat, 1978, Myopic policies in sequential classification, IEEE Trans. Comput., 27, 170, 10.1109/TC.1978.1675054 Ben-Bassat, 1980, Multimembership and multiperspective classification: Introduction, applications, and a Bayesian model, IEEE Trans. Syst. Man Cybern., 6, 331 Ben-Bassat, 1980, Pattern-based interactive diagnosis of multiple disorders: The MEDAS system, IEEE Trans. Pattern Anal. Mach. Intell., 2, 148, 10.1109/TPAMI.1980.4766992 Brown, 1982, Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III, 227 Davis, 1984, Diagnostic reasoning based on structure and behavior, Artifical Intelligence, 24, 347, 10.1016/0004-3702(84)90042-0 Campbell, 1986, Using belief revision to detect faults in circuits Cantone, 1986, IN-ATE: Fault diagnosis as expert system guided search de Kleer, 1986, An assumption-based TMS, Artifical Intelligence, 28, 127, 10.1016/0004-3702(86)90080-9 de Kleer, 1986, Problem solving with the ATMS, Artifical Intelligence, 28, 197, 10.1016/0004-3702(86)90082-2 de Kleer, 1976, Local methods of localizing faults in electronic circuits Doyle, 1979, A truth maintenance system, Artificial Intelligence, 12, 231, 10.1016/0004-3702(79)90008-0 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 Gorry, 1968, Experience with a model of sequential diagnosis, Comput. Biomedical Res., 1, 490, 10.1016/0010-4809(68)90016-5 Hamscher, 1984, Diagnosing circuits with state: An inherently underconstrained problem, 142 Hamscher, 1986, Issues in diagnosis from first principles Martins, 1983, Reasoning in multiple belief spaces McCarthy, 1986, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, 28, 89, 10.1016/0004-3702(86)90032-9 Mitchell, 1970, Version spaces: An approach to concept learning Pearl, 1979, Entropy, information and rational decision, Policy Anal. Inf. Syst., 3, 93 Peng, 1986, Plausibility of diagnostic hypotheses: the nature of simplicity, 140 Peng, 1986 Peng, 1986 Pipitone, 1986, The FIS electronics troubleshooting system, IEEE Computer, 68, 10.1109/MC.1986.1663281 Pople, 1977, The formation of composite hypotheses in diagnostic problem solving: An exercise in synthetic reasoning, 1030 Quinlan, 1983, Learning efficient classification procedures and their application to chess end games, 463 Reggia, 1984, An abductive non-monotonic logic 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 Reiter, 1987, A theory of diagnosis from first principles, Artificial Intelligence, 32, 57, 10.1016/0004-3702(87)90062-2 Shannon, 1948, A mathematical theory of communication, Bell Syst. Tech. J., 27, 379, 10.1002/j.1538-7305.1948.tb01338.x Shirley, 1983, Generating distinguishing tests based on hierarchical models and symptom information Slagle, 1971, Application of game tree searching techniques to sequential pattern recognition, Commun. ACM, 14, 103, 10.1145/362515.362562 Steele, 1979, The definition and implementation of a computer programming language based on constraints Sussman, 1980, CONSTRAINTS: A language for expressing almost-hierarchical descriptions, Artificial Intelligence, 14, 1, 10.1016/0004-3702(80)90032-6 Szolovitz, 1978, Categorical and probabilistic reasoning in medical diagnosis, Artificial Intelligence, 11, 115, 10.1016/0004-3702(78)90014-0 Williams, 1986, Doing time: Putting qualitative reasoning on firmer ground, 105