메뉴 건너뛰기




Volumn 1, Issue , 1988, Pages 29-36

Diagnosing multiple faults using knowledge about malfunctioning behavior

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; EXPERT SYSTEMS; FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS;

EID: 84911265734     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/51909.51913     Document Type: Conference Paper
Times cited : (7)

References (20)
  • 1
    • 0018544688 scopus 로고
    • A truth maintenance system
    • Jon Doyle, A Truth Maintenance System, Artificial Intelligence 12 (1979), page 231-272.
    • (1979) Artificial Intelligence , vol.12 , pp. 231-272
    • Doyle, J.1
  • 2
    • 0021593920 scopus 로고
    • Diagnostic reasoning based on structure and behavior
    • Randall Davis, Diagnostic Reasoning Based on Structure and Behavior, Artificial Intelligence 24 (1984), page 347-410.
    • (1984) Artificial Intelligence , vol.24 , pp. 347-410
    • Davis, R.1
  • 3
    • 0021613150 scopus 로고
    • Qualitative process theory
    • Kenneth D. Forbus, Qualitative Process Theory, Artificial Intelligence 24 (1984), page 85-168.
    • (1984) Artificial Intelligence , vol.24 , pp. 85-168
    • Forbus, K.D.1
  • 4
    • 0021575359 scopus 로고
    • The use of design descriptions in automated diagnosis
    • Michael R. Genesereth, The Use of Design Descriptions in Automated Diagnosis, Artificial Intelligence 24 (1984), page 411-436.
    • (1984) Artificial Intelligence , vol.24 , pp. 411-436
    • Genesereth, M.R.1
  • 5
    • 0343532394 scopus 로고    scopus 로고
    • A theory and system for non-monotonic reasoning
    • Dissertations No. 165, Linköpings Universitetet
    • James W. Goodwin, A Theory and System for Non-Monotonic Reasoning, Linköpings Studies in Science and Technology, Dissertations No. 165, Linköpings Universitetet.
    • Linköpings Studies in Science and Technology
    • Goodwin, J.W.1
  • 6
    • 0006741939 scopus 로고
    • STEAMER: An interactive inspectable simulation-based training system
    • summer
    • J. D. Hollan, E. L. Hutchins and L. Weitzman, STEAMER: An Interactive Inspectable Simulation-Based Training System, AI Magazine, vol 5, no 3, page 15-27, summer 1984.
    • (1984) AI Magazine , vol.5 , Issue.3 , pp. 15-27
    • Hollan, J.D.1    Hutchins, E.L.2    Weitzman, L.3
  • 8
    • 0021577685 scopus 로고
    • A qualitative physics based on confluences
    • Johan de Kleer and John Seely Brown, A Qualitative Physics Based on Confluences, Artificial Intelligence 24 (1984), page 7-83.
    • (1984) Artificial Intelligence , vol.24 , pp. 7-83
    • De Kleer, J.1    Brown, J.S.2
  • 10
    • 0022677462 scopus 로고
    • Problem solving with the ATMS
    • Johan de Kleer, Problem solving with the ATMS, Artificial Intelligence 28 (1886), page 197-224.
    • (1886) Artificial Intelligence , vol.28 , pp. 197-224
    • De Kleer, J.1
  • 12
    • 46149128342 scopus 로고
    • Qualitative simulation
    • Benjamin Kuipers, Qualitative Simulation, Artificial Intelligence 29 (1986), page 289-338.
    • (1986) Artificial Intelligence , vol.29 , pp. 289-338
    • Kuipers, B.1
  • 13
    • 85034840495 scopus 로고
    • ICONStraint, A dependency directed constraint maintenance system
    • Thesis 71, LiU-Tek-Lic Linköping University
    • Jalal Maleki, ICONStraint, A Dependency Directed Constraint Maintenance System, Linköpings Studies in Science and Technology, Thesis 71, LiU-Tek-Lic 1986:11, Linköping University.
    • (1986) Linköpings Studies in Science and Technology , pp. 11
    • Maleki, J.1
  • 16
    • 0017544789 scopus 로고
    • Sussman, forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
    • Richard M. Stallman and Gerald J. Sussman, Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis, Artificial Intelligence 9 (1977), page 135-196.
    • (1977) Artificial Intelligence , vol.9 , pp. 135-196
    • Stallman, R.M.1    Gerald, J.2
  • 17
  • 19
    • 0020809406 scopus 로고
    • XPLAIN: A system for creating and explaining expert consulting programs
    • William R. Swartout, XPLAIN: A System for Creating and Explaining Expert Consulting Programs, Artificial Intelligence vol. 21, no. 3 (1983), page 285-325.
    • (1983) Artificial Intelligence , vol.21 , Issue.3 , pp. 285-325
    • Swartout, W.R.1
  • 20
    • 0021573933 scopus 로고
    • Qualitative analysis of MOS circuit
    • B. C. Williams, Qualitative analysis of MOS circuit, Artificial Intelligence 24 (1984), page 281-346.
    • (1984) Artificial Intelligence , vol.24 , pp. 281-346
    • Williams, B.C.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.