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

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)
  • 발행 : 1991.07.18

초록

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.

키워드