전문가 시스템 지식 베이스의 일관성 검증

지식 공학자가 영역 전문가로부터 획득한 전문 지식을 가지고 지식 베이스를 구축할 때, 지식 베이스에서 비일관성(inconsistency)이 발생할 수 있다. 전문가 시스템의 규칙 베이스에 비일관성이 존재한다면 올바른 결론을 추론할 수 없다. 지식 베이스의 비일관성을 탐지해 내는 것을 지식 베이스 검증이라고 한다. 만약 지식 공학자가 지식 베이스를 직접 검증한다면 정확성과 효율성을 보장할 수 없다. 따라서 비일관성을 검증할 수 있는 프로시져를 이용하여 지식 베이스를 검증한다면 양질의 지식 베이스를 쉽게 구축할 수 있고 지식 공학자의 부담을 줄일 수 있다. 본 논문에서는 점진적으로 확장되는 규칙 베이스를 다중 연결 리스트로 모델링해서 지역적 비일관성뿐만 아니라 전역적 비일관성도 검증할 수 있는 프로시져를 제안한다.