Knowledge validation with an enhanced high-level Petri net model

To detect improper knowledge effectively requires a sophisticated model representing the underlying system precisely. We 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 validation is explored in this model through the reachability problem by a multiple colouring scheme of tokens. The properties of the reachability and problems and related transition sequence problems are described. A comparison of our model with other Petri Net models is presented.<<ETX>>