Proceedings of the KIEE Conference (대한전기학회:학술대회논문집)

The Korean Institute of Electrical Engineers (대한전기학회)
권호 표지

A Study on the Expert System with Three State Inference & Rule Verification

삼상태 추론과 룰 검증이 가능한 전문가 시스템에 관한 연구

  • Son, Dong-Wook (Dept. of Electrical Engineering, Seoul National University) ;
  • Park, Young-Moon (Dept. of Electrical Engineering, Seoul National University) ;
  • Yoon, Ji-Ho (Dept. of Electrical Engineering, Seoul National University)
  • 손동욱 (서울대학교 전기공학과) ;
  • 박영문 (서울대학교 전기공학과) ;
  • 윤지호 (서울대학교 전기공학과)
  • Published : 1991.07.18
Download PDF
⟨ Previous Next ⟩

Abstract

Rules in expert system have meaning of assigning never-happen-minterms. Overall logical relations of variables can be achived by making all prime implicants of never-happen-minterms. From prime implicants, two tables, which are necessary in the process of inference, are constructed. There are two inferencing modes. One excutes inference only one variable which the user is interested in, and the other excutes inference all variables simultaneously. Outputs of inference have not only 'true' or 'false' but also 'unknown' which is different from conventional expert system. In this paper, an efficient approach is presented, which can check logical inconsistency in knowledge base and contradiction between input facts and rules. The methods in the paper may be available in the field of diagnosis and alarm processing.

Keywords