This thesis proposes a mechanism of consistency maintenance in the knowledge representation scheme of PROKB. PROKB is a knowledge base for real world being modelled, and is one of the components of Sphinx. The Sphinx system, developed at KAIST, is a building tool for constructing knowledge-based systems. The PROKB is built according to the multiple inheritance mechanism. To keep a knowledge base consistent with new information or changes of real world, it is necessary to remove or update some portions of its knowledge base. The proposed consistency maintenance mechanism is based on logic programming, and is described as the semantics of operations. Several basic operations for constructing PROKB are suggested. The suggested operations are classified according to the types of knowledge being manipulated --- Concepts, Roles, and Links. When the operators are executed, the consistency of knowledge base is guaranteed by the operators, not by the knowledge engineers or users. The proposed consistency maintenance mechanism, thus, reduces the burden of human being in explicitly representing the real world knowledge.
본 논문은 PROKB의 지식표현 방식에 있어서의 일치성 유지 기법을 제시한다. PROKB는 모형화되는 실 세계에 대한 지식 베이스로서, 지식 베이스 구축 도구인 Sphinx시스템의 한 구성요소이다. PROKB내의 지식들은 계층구조로 구성되며, 이들은 다중 상속기법에 준하여 조작된다. 실 세계의 새로운 정보 혹은 정보의 변경에 대해 지식 베이스가 일치성을 유지하기 위해서는 그 지식 베이스의 일부를 없애거나 수정할 필요가 있다. 제시된 일치성 유지기법은 논리 프로그래밍에 바탕을 두고 있으며, 지식 베이스에 관련된 연산들의 의미로서 기술되고 있다. PROKB를 구축하기 위해 필요한 기본적인 연산들이 먼저 제시된다. 이들 연산들은 Concept, Role, Link 등과 같은 지식 베이스의 기본적인 요소들을 추가, 삭제 및 변경하는 기능을 하며, 각 연산이 수행된 후 지식 베이스의 일치성이 만족되어야 한다. 본 논문이 제시하는 것은 이 작업을 사용자에게 전가하지 않고 연산 자체가 처리하도록 함으로써, 다중 상속계층에 대한 일치성 유지문제를 고려하였고 이와 동시에 지식 베이스를 구축함에 있어서 일치성 유지에 대한 사용자의 부담을 감소시키자는 것이다.