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

Stephen Murrell, Robert Plant

Research output: Contribution to journalArticle

4 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)127-144
Number of pages18
JournalInternational Journal of Human Computer Studies
Issue number2
StatePublished - Feb 1996


ASJC Scopus subject areas

  • Artificial Intelligence
  • Human-Computer Interaction
  • Experimental and Cognitive Psychology

Cite this