PROKB(PROlog Knowledge Base) is one of four memories in Sphinx system, which is an integrated developement tool for constructing a knowledge-based system. PROKB is used to deal with knowledge with some dynamic features to a specific application domain, while the other three memories are used for rule-based systems.
Knowledge representation in PROKB is based on multiple schemes which support semantic networks, frames, and object-oriented programming on the basis of logic programming paradigm. Therefore, various advantages can be obtained from the uniform formalism. They include information clustering, taxonomic structuring, procedural reasoning in addition to formal reasoning and property inheritance, and proof-theoretical semantics.
In this thesis, both declarative and procedural knowledge representation schemes are presented as an associated framework for constructing PROKB. Knowledge definition, question answering facilities with corresponding Knowledge Definition Language(KDL), and query language are also presented. Finally, Concept Editor is presented as an interactive user-interface for knowledge representation.
본 논문에서는 선언적 지식과 순차적 지식을 동시에 유지할 수 있는 지식 베이스를 구축하는 기법을 제시한다. 이를 위하여, 먼저 선언적 지식과 순차적 지식을 표현할 수 있는 지식 표현 방식을 고려한다. 선언적인 관점에서 격자형의 유전 계층 구조를 통하여 정보 집단화, 용어 구조화, 성질 유전등의 특성을 구현한다. 순차적 지식의 표현을 위하여 다양한 순차적 추론을 선언적 구조에 결합시킴으로써 선언적 표현 방식으로 표현하기 어렵거나 또는 비효율적인 순차적 지식을 단위화된 구조에서 사용하도록 해준다.
다음에 이러한 지식 표현 방식을 가지고 실제 응용 분야에 특정한 지식을 지식 베이스 내에 표현하게 해주는 지식 정의 언어를 제안한다. 또한 사용자의 관점에서 지식 베이스의 내부 구조나 지식 정의 언어의 구문을 모르고도 지식 정의를 가능하게 해주는 Concept Editor 라는 대화형 인터페이스를 개발한다.
지식 표현 방식과 지식 정의 언어들은 논리 프로그래밍 언어인 Prolog 를 사용하여 구현되어졌기 때문에, 이 언어가 갖는 특성들과 표현력을 그대로 이용할 수 있다. 본 논문에서 구현한 지식 베이스는 PROKB (PROlog Knowledge Base)라 부른다.