Abstract: | A major difficulty that occurs in the construction of large production rule-based expert systems is maintaining the correctness, consistency, and completeness of the knowledge base. A method of transforming the production rules into a numerical petri nets (NPNs) model is proposed. These NPNs are high level nets that are necessary to effectively model production rules. the net model is then analysed by using a computer-aided tool to perform reachability analysis. an algorithm is given to generate the reachability set of the nets. This allows the verification of the correctness, consistency, and completeness of the knowledge base. Examples showing the use of this approach are given. |