전문가시스템 구축을 위한 지식레벨 지원도구에 관한 연구

A Study on a Knowledge-level Supporting Tool for Building Expert Systems

  • 김은경 (한국기술교육대학교 컴퓨터공학과) ;
  • 김성훈 (영동대학교 전자공학부 전임) ;
  • 박충식 (영동대학교 전자공학부)
  • 발행 : 1998.03.01

초록

심볼레벨에서 개발된 1세대 전문가시스템의 문제점을 해결하기 위하여 최근 지식레벨에서 2세대 전문가시스템을 개발하기 위한 여러 가지 방법들이 제안되었으나, 대개 개념적인 모델링 기법을 제시하는 수준에 머무르고 있다. 본 논문에서는 이러한 개념적인 모델링 기법이 실용 가능한 개발기법이 될 수 있도록 기존의 연구 내용을 수정, 보완한 태스크 객체 모델링(TOM) 기법을 제시하였다. 이 기법에서 태스크 객체(TO)는 자신의 목표와 수행 조건, 실행할 행위 지식 등을 포함하는 하나의 지식 단위로 정의하고, TO의 구조적, 동적, 기능적 측면을 쉽게 도식화할 수 있는 태스크 객체 다이어그램(TOD)을 정의하였다. 또한, 각 TO의 행위 지식을 표현하는 기본 단위로서 추론유형(Inference Type)들을 정의하였다. 본 논문에서 제안한 TOM 기법이 단순히 개념적인 모델링 기법이 아니라 실용적인 2세대 전문가시스템 개발기법으로 활용될 수 있도록 TOD 에디터와 TO 에디터를 개발하고, TO의 상태 변화에 기반을 둔 TO 처리 알고리즘을 개발하였다. 또한, 정의된 추론유형들이 대표적인 전문가시스템 개발도구인 IRE(Intelligent Rules element)의 메소드로 자동 변환 될 수 있도록, 각각의 추론유형과 IRE의 메소드를 1: 1로 대응시킨 추론 유형 라이브러리를 구축하였다.

In order to overcome the problems with first generation expert systems at the symbol level, recently various knowledge level development techniques of second generation expert systems have been proposed. But, these techniques are conceptual modelling techniques. This paper modifies and complements these conceptual modelling techniques and proposes a Task Object Modelling (TOM) technique as a practical knowledge level expert system development technique. This paper defines a Task Object(TO) as a knowledge unit consisted of a goal, execution conditions, behaviour knowledge, and so on. And, we define a Task Object Diagram(TOD) to depict structual, dynamic, and functional aspects of TO easily. We also define Inference Types as basic units to describe behaviour knowledge of TOs. In order to utilize the proposed TOM technique as not a simple conceptual modelling technique but a practical second generalion expert system development technique, we implement a TOD editor, a TO editor, and TO processing algorithm based on the state of TOs. Also we implement a Inference Types Library, in which each inference type is corresponded to an IRE(Jntelligent Rules Element) method, to transform the defined inference types into IRE methods automatically.

키워드