Issue No. 05 - September-October (1997 vol. 12)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/64.621230
To detect improper knowledge effectively requires a sophisticated model representing the underlying system precisely. The authors propose the Enhanced High-Level Petri net for modeling rule-based systems. Rule inference is modeled exactly and some important aspects in rule-based systems, such as conservation of facts, refraction, and closed-world assumption, are considered. Knowledge verification is explored in this model through the reachability problem by a multiple coloring scheme of tokens. The properties of the reachability problems and related transition sequence problems are described. A comparison of the authors' model with other Petri net models is presented.
knowledge verification, Petri net, reachability problems, rule-based expert systems.
C. Wu and S. Lee, "Knowledge Verification with an Enhanced High-Level Petri-Net Model," in IEEE Intelligent Systems, vol. 12, no. , pp. 73-80, 1997.