In: Proc. of the Australian Joint AI Conf.'87, pages 170-185. Sydney: University of Sydney, 1987.
Abstract: Expert systems are modified using numerical petri nets (NPNs) for detecting inconsistency. It is noted that NPNs are both descriptive and analytical, in that they facilitate the analysis of the rule base. This paper concentrates on the application of the nets to expose a wide range of anomalies that are usually made visible by the execution of rules during the knowledge inference and integration.