A graph reduction approach to the validation and verification of production systems
Robert Plant, Sandra Murrell · 2002
The aim of the paper is to discuss a parallel processing approach to the implementation of rule-based systems and the consequences of utilizing a graph reduction approach in relation to the validation and verification of knowledge-based systems.>