Dynamic Verification of an Object-Rule Knowledge Base Using Colored Petri Nets

C. Tadj, T. Laroussi

In this paper, we propose a formal description for the dynamic verification of an Object-Rule Hybrid Knowledge-based System (HKBS), capitalizing on the work carried out within the verification framework of Frame-Rule Hybrid Expert Systems. The main idea is to model an HKBS by means of a Colored Petri Network (CPN). In this way, method invocations, state class changes, rules and productions will be modeled as components of the CPN. Detection and analysis of the HKBS will be carried out by the construction and analysis of the markings graph, which results from the inference process.