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

Stephen Murrell, Robert Plant

Research output: Contribution to journalArticle

4 Citations (Scopus)

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.

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

Fingerprint

knowledge-based system
Knowledge based systems
system development
programming
Processing

ASJC Scopus subject areas

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

Cite this

On the validation and verification of production systems : A graph reduction approach. / Murrell, Stephen; Plant, Robert.

In: International Journal of Human Computer Studies, Vol. 44, No. 2, 02.1996, p. 127-144.

Research output: Contribution to journalArticle

@article{a2d050148f53447c9612ebd93c1b48e5,
title = "On the validation and verification of production systems: A graph reduction approach",
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.",
author = "Stephen Murrell and Robert Plant",
year = "1996",
month = "2",
doi = "10.1006/ijhc.1996.0007",
language = "English (US)",
volume = "44",
pages = "127--144",
journal = "International Journal of Human Computer Studies",
issn = "1071-5819",
publisher = "Academic Press Inc.",
number = "2",

}

TY - JOUR

T1 - On the validation and verification of production systems

T2 - A graph reduction approach

AU - Murrell, Stephen

AU - Plant, Robert

PY - 1996/2

Y1 - 1996/2

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0345986483&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0345986483&partnerID=8YFLogxK

U2 - 10.1006/ijhc.1996.0007

DO - 10.1006/ijhc.1996.0007

M3 - Article

AN - SCOPUS:0345986483

VL - 44

SP - 127

EP - 144

JO - International Journal of Human Computer Studies

JF - International Journal of Human Computer Studies

SN - 1071-5819

IS - 2

ER -