An approach towards the verification of expert systems using numerical petri nets
✍ Scribed by N. K. Liu; T. Dillon
- Publisher
- John Wiley and Sons
- Year
- 1991
- Tongue
- English
- Weight
- 936 KB
- Volume
- 6
- Category
- Article
- ISSN
- 0884-8173
No coin nor oath required. For personal study only.
✦ Synopsis
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 computeraided 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.