Copyright © 1996 Academic Press Limited. All rights reserved.
Regular Paper
On the validation and verification of production systems: a graph reduction approach
Available online 24 April 2002.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
This paper takes a parallel processing approach to the implementation of rule-based systems using a graph-reduction architecture, and investigates the consequences of this architecture in relation to the validation and verification of knowledge-based systems. The paper improves on the traditional sequential approaches to the development of knowledge-based systems and the limited validation and verification techniques that are applicable. This is contrasted with a graph reduction implementation of knowledge-based systems development based on an ALICE-like machine. The advantages of this style of programming in relation to systems development and program correctness are discussed. The paper shows that significant benefits could potentially be achieved through the use of graph-reduction techniques in the development of these systems.
f1 rplant @umiami.miami.edu





E-mail Article
Add to my Quick Links

Cited By in Scopus (4)




