Verification of Rule Bases Using Petri-net

페트리네드를 이용한 규칙베이스의 검증

The knowledge repressenatation technique by production rule has been popular method to represent to represent the experts'dxpertise in expert systems.In this paper,we propose a method to verify the integrity of rule base.Proposcd method models rule base as a Petri net and utilizes the systematic strucutural properties of the petri net for berifi-cation.We describe the pricesure to check rule base at both local and global level intermal verification.

생성규칙(Produstion rule)전문가시스템에서 전문가의 전문지식((expertise)를 표현 하는 지식표현방법이다. 본 논문에서는 페트리네트(Petri-net)를 규칙베이스를 모형화하고, 규칙베이스 검증을 위해 페트리네트가 가지고 있는 체계적이고 구조적인 속성을 이용하여 규칙베이스(rule base)의 무결성(integrity)를 검증하는 방법을 제안한다. 이프러시져는 규칙베이스를 지역적 및 전역적 내부검증을 수행한다.