In: IEEE Expert: Intelligent Systems and Their Applications, Volume 12, Issue 5, pages 73-80. IEEE Educational Activities Department, September 1997.
Abstract: 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.
Keywords: knowledge verification; Petri net; reachability problems; rule-based expert systems..