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
Published in:
Artificial Intelligence for Applications, 1995. Proceedings., 11th Conference on
Date of Conference: 20-23 Feb 1995