(A) method of knowledge base verification and validation for nuclear power plants expert systems = 원자력 발전소 전문가시스템의 지식베이스 확인 및 검증에 관한 연구

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 285
  • Download : 0
The adoption of expert systems mainly as operator supporting systems is becoming increasingly popular as the control algorithms of system become more and more sophisticated and complicated. As a result of this popularity, a large number of expert systems are developed. The nature of expert systems, however, requires that they be verified and validated carefully and that detailed methodologies for their development be devised. Therefore, it is widely noted that assuring the reliability of expert systems is very important, especially in nuclear industry, and it is also recognized that the process of verification and validation is an essential part of reliability assurance for these systems. Research and practices have produced numerous methods for expert system verification and validation (V & V) that suggest traditional software and system approaches to V & V. However, many approaches and methods for expert system V & V are partial, unreliable, and not uniform. The purpose of this paper is to present a new approach to expert system V & V, based on Petri nets, providing a uniform model. We devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for checking incorrectness, inconsistency, and incompleteness in a knowledge base. We also suggest heuristic analysis for validation process to show that the reasoning path is correct.
Advisors
Seong, Poong-Hyunresearcher성풍현researcher
Description
한국과학기술원 : 원자력공학과,
Publisher
한국과학기술원
Issue Date
1996
Identifier
105540/325007 / 000943036
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 원자력공학과, 1996.2, [ v, 66 p. ]

Keywords

Validation; Verification; Knowledge Base; Petri Nets; 페트리넷; 검증; 확인; 지식베이스

URI
http://hdl.handle.net/10203/49342
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=105540&flag=dissertation
Appears in Collection
NE-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0