In: Proceedings of IEEE International Workshop on Tools for AI, pages 399-406. October 1989. D. Zhang is the same entry as Du Zhang.
Abstract: The proposed technique is based on modeling a knowledge base by using a Predicate/Transition net representation. Inconsistent, redundant, subsumed, circular and incomplete rules in a knowledge base are then defined as patterns of the Predicate/Transition net model, and are detected through a syntactic pattern recognition method.