메뉴 건너뛰기
International Journal of Intelligent Systems
Volumn 9, Issue 8, 1994, Pages 683-701
Foundation and application of knowledge base verification
Author keywords

[No Author keywords available]
Indexed keywords

COMPUTATION THEORY; COMPUTER OPERATING PROCEDURES; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS PROGRAMMING; ERROR CORRECTION; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; REDUNDANCY; RELIABILITY; SOFTWARE ENGINEERING;
EID: 0028484220     PISSN: 08848173     EISSN: 1098111X     Source Type: Journal    
DOI: 10.1002/int.4550090804     Document Type: Article
Times cited : (90)
References (16)
  • 2
    • 0002939231 scopus 로고
    • “Checking an expert systems knowledge base for consistency and completeness,” In Proc. 9th International Joint Conference on Artificial Intelligence (IJCAI 85), Los Angeles, Vol. 1, pp.
    • (1985) , pp. 375-378
    • Nguyen, T.A.1    Perkins, W.A.2    Laffey, T.J.3    Pecora, D.4
  • 4
    • 84985144273 scopus 로고
    • “A tabular rule‐checking method,” In Proc. 7th International Workshop on Expert Systems and their Applications, Paris‐La Défense, Agence Inf.
    • (1987) , pp. 257-268
    • Puuronen, S.1
  • 6
    • 84985137317 scopus 로고
    • “Validation of knowledge‐based systems,” In Proc. 2nd AIAA/NASA/USAF Symposium on Automation, Robotics and Advanced Computing for the National Space Program, Arlington, VA,. (Report No. AIAA‐87‐1685)
    • (1987) , pp. 1-10
    • Stachowitz, R.A.1    Combs, J.B.2    Chang, C.L.3
  • 7
    • 84985127171 scopus 로고
    • “Knowledge‐base reduction: A new approach to checking knowledge bases for inconsistency and redundancy,” In Proc. 7th National Conference on Artificial Intelligence (AAAI 88), St. Paul, MN, Vol. 2, pp.
    • (1988) , pp. 585-589
    • Ginsberg, A.1
  • 9
    • 84985080444 scopus 로고
    • “Off‐line coherence checking for knowledge based systems,” In IJCAI‐89 Workshop on Verification, Validation and Testing of Knowledge‐Based Systems, Detroit
    • (1989)
    • Laurent, J.P.1    Ayel, M.2
  • 10
    • 84985141307 scopus 로고
    • “Verifying expert systems using conceptual models,” In Proceedings of 5th Annual Knowledge‐Based Software Assistant (KBSA) Conference, Syracuse
    • (1990) , pp. 280-289
    • Preece, A.D.1
  • 11
    • 84985087428 scopus 로고
    • “The use of object‐oriented process specification for the verification and validation of decision support systems,” In ECAI '90 Workshop on Validation, Verification and Test of KBS, Stockholm, Sweden
    • (1990)
    • Krause, P.J.1    Byers, P.2    Hajnal, S.3    Fox, J.4
  • 15
    • 84985053665 scopus 로고
    • Quality Measures and Assurance for AI Software, NASA Contractor Report CR‐4187, SRI International, Menlo Park, CA
    • (1988)
    • Rushby, J.1

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