Dynamic Verification of an Object-Rule Knowledge Base Using Colored Petri Nets
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 Petr...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
International Institute of Informatics and Cybernetics
2006-06-01
|
| Series: | Journal of Systemics, Cybernetics and Informatics |
| Subjects: | |
| Online Access: | http://www.iiisci.org/Journal/CV$/sci/pdfs/P898705.pdf
|