메뉴 건너뛰기




Volumn 16, Issue 3, 1999, Pages 148-169

A function-centered framework for reasoning about system failure at multiple levels of abstraction

Author keywords

Abstract simulation; Computer assisted FMEA; Functional reasoning

Indexed keywords


EID: 0000405676     PISSN: 02664720     EISSN: None     Source Type: Journal    
DOI: 10.1111/1468-0394.00105     Document Type: Article
Times cited : (8)

References (29)
  • 1
    • 0031223975 scopus 로고    scopus 로고
    • Qualitative and quantitative simulation: Bridging the gap
    • BERLEANT, D. and B.J. KUIPERS (1997) Qualitative and quantitative simulation: bridging the gap, Artificial Intelligence, 95 (2), 215.
    • (1997) Artificial Intelligence , vol.95 , Issue.2 , pp. 215
    • Berleant, D.1    Kuipers, B.J.2
  • 2
    • 0039155913 scopus 로고
    • Functional representations: A support for enriched reasoning capabilities
    • Stanford University, Stanford, CA
    • BONNET, J. (1991) Functional representations: a support for enriched reasoning capabilities, Knowledge Systems Laboratory Report KSL 91-58, Stanford University, Stanford, CA.
    • (1991) Knowledge Systems Laboratory Report KSL 91-58
    • Bonnet, J.1
  • 3
    • 0040934356 scopus 로고
    • Towards formal representation of device functionality
    • Stanford University, Stanford, CA
    • BONNET, J. (1992) Towards formal representation of device functionality, Knowledge Systems Laboratory Report KSL 92-54, Stanford University, Stanford, CA.
    • (1992) Knowledge Systems Laboratory Report KSL 92-54
    • Bonnet, J.1
  • 6
    • 0023347441 scopus 로고
    • Expert systems and diagnostic expertise in the mechanical and electrical domains
    • FINK, P.K. and J.L. LUSTH (1987) Expert systems and diagnostic expertise in the mechanical and electrical domains, IEEE Transactions on Systems, Man, and Cybernetics, SMC-17(3), 340-349.
    • (1987) IEEE Transactions on Systems, Man, and Cybernetics , vol.SMC-17 , Issue.3 , pp. 340-349
    • Fink, P.K.1    Lusth, J.L.2
  • 7
    • 0026139762 scopus 로고
    • Deriving and using descriptions of purpose
    • April
    • FRANKE, W. (1991) Deriving and using descriptions of purpose, IEEE Expert, April, 41-47.
    • (1991) IEEE Expert , pp. 41-47
    • Franke, W.1
  • 10
    • 85055206299 scopus 로고
    • A blackboard system for distributed problem solving
    • V. Jagannathan, R. Dodhiawala and L.S. Baum (eds), New York: Academic Press
    • GILMORE, J.F., S.P. ROTH and S.D. TYNOR (1989) A blackboard system for distributed problem solving, in Blackboard Architectures and Applications, V. Jagannathan, R. Dodhiawala and L.S. Baum (eds), New York: Academic Press, 371-393.
    • (1989) Blackboard Architectures and Applications , pp. 371-393
    • Gilmore, J.F.1    Roth, S.P.2    Tynor, S.D.3
  • 12
    • 0040340393 scopus 로고
    • A knowledge acquisition system for conceptual design based on functional and rational explanations of designed objects
    • J.S. Gero (ed.), New York: Springer
    • KATAI, O., H. KAWAKAMI, T. SAWARAGI and S. IWAI (1991) A knowledge acquisition system for conceptual design based on functional and rational explanations of designed objects, in Artificial Intelligence in Engineering Design, J.S. Gero (ed.), New York: Springer, 281-300.
    • (1991) Artificial Intelligence in Engineering Design , pp. 281-300
    • Katai, O.1    Kawakami, H.2    Sawaragi, T.3    Iwai, S.4
  • 13
    • 0026142701 scopus 로고
    • Device representation: The significance of functional knowledge
    • April
    • KEUNEKE, A.M. (1991) Device representation: the significance of functional knowledge, IEEE Expert, April, 22-25.
    • (1991) IEEE Expert , pp. 22-25
    • Keuneke, A.M.1
  • 14
    • 0040934349 scopus 로고
    • Simulation and AI: Coupling symbolic and numeric computing
    • SCS Simulation Series, San Diego, CA: Society for Computer Simulation
    • KITZMILLER, C.T. (1988) Simulation and AI: coupling symbolic and numeric computing, AI and Simulation, SCS Simulation Series, San Diego, CA: Society for Computer Simulation.
    • (1988) AI and Simulation
    • Kitzmiller, C.T.1
  • 15
    • 46149128342 scopus 로고
    • Qualitative simulation
    • KUIPERS, B. (1986) Qualitative simulation, Artificial Intelligence, 29, 289-338.
    • (1986) Artificial Intelligence , vol.29 , pp. 289-338
    • Kuipers, B.1
  • 16
    • 0032674212 scopus 로고    scopus 로고
    • KAT: A knowledge acquisition tool for acquiring functional knowledge based upon the no-causality-in-function principle
    • San Antonio, TX: ACM Press
    • LU, C. and D.J. RUSSOMANNO (1999) KAT: a knowledge acquisition tool for acquiring functional knowledge based upon the no-causality-in-function principle, in ACM Symposium on Applied Computing (ACM SAC '99), San Antonio, TX: ACM Press, 8-13.
    • (1999) ACM Symposium on Applied Computing (ACM SAC '99) , pp. 8-13
    • Lu, C.1    Russomanno, D.J.2
  • 20
    • 0040340399 scopus 로고
    • Palo Alto, CA
    • QUINTUS CORPORATION (1991) Quintus PROLOG Release 3, Palo Alto, CA.
    • (1991) Quintus PROLOG Release 3
  • 21
    • 0040934347 scopus 로고
    • No causality in function: Building a function-centered knowledge base
    • E.A. Yfantis (ed.), Amsterdam: Kluwer Academic
    • RUSSOMANNO, D.J. and R.D. BONNELL (1995) No causality in function: building a function-centered knowledge base, in Intelligent Systems, E.A. Yfantis (ed.), Amsterdam: Kluwer Academic, 625-652.
    • (1995) Intelligent Systems , pp. 625-652
    • Russomanno, D.J.1    Bonnell, R.D.2
  • 22
    • 84974743798 scopus 로고
    • Viewing computer-aided failure modes and effects analysis from an artificial intelligence perspective
    • RUSSOMANNO, D.J., R.D. BONNELL and J.B. BOWLES (1994) Viewing computer-aided failure modes and effects analysis from an artificial intelligence perspective, Integrated Computeraided Engineering, 1(3), 209-228.
    • (1994) Integrated Computeraided Engineering , vol.1 , Issue.3 , pp. 209-228
    • Russomanno, D.J.1    Bonnell, R.D.2    Bowles, J.B.3
  • 24
    • 0002568276 scopus 로고
    • Functional representation of devices and compilation of diagnostic problem solving systems
    • J. Kolodner and C. Reisbeck (eds), Hillsdale, NJ: Lawrence Erlbaum Associates
    • SEMBUGAMOORTHY, V. and B. CHANDRASEKARAN (1986) Functional representation of devices and compilation of diagnostic problem solving systems, in Experience, Memory and Reasoning, J. Kolodner and C. Reisbeck (eds), Hillsdale, NJ: Lawrence Erlbaum Associates, 47-73.
    • (1986) Experience, Memory and Reasoning , pp. 47-73
    • Sembugamoorthy, V.1    Chandrasekaran, B.2
  • 26
    • 84950433484 scopus 로고
    • Diagnosis with a function-fault model
    • W. Horn (ed.), Hemisphere Publishing, ISBN 1-56032-048-6
    • STEELS, L. (1990) Diagnosis with a function-fault model, in Causal AI Models: Steps Toward Applications, W. Horn (ed.), Hemisphere Publishing, ISBN 1-56032-048-6, 129-153.
    • (1990) Causal AI Models: Steps Toward Applications , pp. 129-153
    • Steels, L.1


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