ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
International Journal of Human-Computer Studies
Volume 44, Issue 2, February 1996, Pages 127-144
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (293 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1006/ijhc.1996.0007    How to Cite or Link Using DOI (Opens New Window)
Copyright © 1996 Academic Press Limited. All rights reserved.

Regular Paper

On the validation and verification of production systems: a graph reduction approach

Stephen Murrella and Robert Plantb

a Department of Computer Science and Mathematics, University of Miami, Coral Gables, FL 33124, U.S.A. Department of Computer Information Systems, University of Miami, Coral Gables, FL 33124, U.S.A.f1

Available online 24 April 2002.

Purchase the full-text article



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


 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.