PROKB의 다중 상속계층에 대한 일치성 유지기법

Abstract

본 논문은 PROKB의 지식표현 방식에 있어서의 일치성 유지 기법을 제시한다. PROKB는 모형화되는 실 세계에 대한 지식 베이스로서, 지식 베이스 구축 도구인 Sphinx시스템의 한 구성요소이다. PROKB내의 지식들은 계층구조로 구성되며, 이들은 다중 상속기법에 준하여 조작된다. 실 세계의 새로운 정보 혹은 정보의 변경에 대해 지식 베이스가 일치성을 유지하기 위해서는 그 지식 베이스의 일부를 없애거나 수정할 필요가 있다. 제시된 일치성 유지기법은 논리 프로그래밍에 바탕을 두고 있으며, 지식 베이스에 관련된 연산들의 의미로서 기술되고 있다. PROKB를 구축하기 위해 필요한 기본적인 연산들이 먼저 제시된다. 이들 연산들은 Concept, Role, Link 등과 같은 지식 베이스의 기본적인 요소들을 추가, 삭제 및 변경하는 기능을 하며, 각 연산이 수행된 후 지식 베이스의 일치성이 만족되어야 한다. 본 논문이 제시하는 것은 이 작업을 사용자에게 전가하지 않고 연산 자체가 처리하도록 함으로써, 다중 상속계층에 대한 일치성 유지문제를 고려하였고 이와 동시에 지식 베이스를 구축함에 있어서 일치성 유지에 대한 사용자의 부담을 감소시키자는 것이다.