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.
Chih-Hung Wu, Shie-Jue Lee, "Knowledge Verification with an Enhanced High-Level Petri-Net Model", IEEE Intelligent Systems, vol.12, no. 5, pp. 73-80, September-October 1997, doi:10.1109/64.621230