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

Stephen Murrell, Robert Plant

Research output: Contribution to journalArticlepeer-review

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

  • Software
  • Human Factors and Ergonomics
  • Education
  • Engineering(all)
  • Human-Computer Interaction
  • Hardware and Architecture


Dive into the research topics of 'On the validation and verification of production systems: A graph reduction approach'. Together they form a unique fingerprint.

Cite this