In this thesis, an efficient inference model for the domain independent expert system is presented. Conventional expert systems have used forward chaining control structure or backward one as their control structures. However forward chaining control systems generally have time-consuming firing strategy and cannot reason backward because of its restrictions of control structure. Backward chaining control systems cannot apply all the rules to the large set of the facts at once. The proposed model employs both two control structures and gives many facilities for the domain experts to save much time in problem solving. The proposed model, called PROBES(PROlog Based Expert System) is designed and implemented in PROLOG, a logic programming language.
본 논문에서는 전문 영역에 대해서 독립적인 전문가 시스템을 위한 추론 모형이 제시된다. 종래의 전문가 시스템 은 그들의 추론 제어 구조로써 "순방향 추론 연결 제어 구조" 또는 "역방향 추론 연결 제어 구조"를 사용하여 왔다. 하지만 순방향 추론 시스템은 시간을 낭비하는 규칙 시동전략을 가지고 있으며, 또한 제어 구조의 제한성에 의해서 역방향 추론을 할 수가 없다. 역방향 추론 시스템은 전문 지식을 이용하는 규칙들을 한꺼번에 많은 자료에 대해서 추론을 할 수가 없다.
여기에서 제시된 추론 모형은 위의 두 가지 추론 제어 구조를 가지며, 전문 영역의 사용자에게 추론 구조를 선택할 기회를 줄 뿐 만아니라, 추론을 위한 편리한 기제들을 제공하여 문제 해결에 있어서, 효과적이라는 것을 보여주고 있다. 이 논문에서 제시된 모형은 논리 프로그램 언어인 프롤로그로 설계 되고 구현되었으며, 프로브즈(PROBES)로 명명되었다.