Formal semantics for rule-based systems

S. Murrell, Robert Plant

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

The existence of a formal description of any language is a prerequisite to any rigorous methods of proof, validation, or verification. This article develops a formal semantics in the denotational style for rule-based production systems. Primarily, a formal description of a generalized, hypothetical language for rule-based expert systems is developed as a base. Building on this base, it is possible to specify in detail the variations that distinguish individual real-world systems in a usable way.

Original languageEnglish (US)
Pages (from-to)251-259
Number of pages9
JournalJournal of Systems and Software
Volume29
Issue number3
DOIs
StatePublished - 1995

Fingerprint

Knowledge based systems
Expert systems
Semantics

ASJC Scopus subject areas

  • Hardware and Architecture
  • Information Systems
  • Software

Cite this

Formal semantics for rule-based systems. / Murrell, S.; Plant, Robert.

In: Journal of Systems and Software, Vol. 29, No. 3, 1995, p. 251-259.

Research output: Contribution to journalArticle

Murrell, S. ; Plant, Robert. / Formal semantics for rule-based systems. In: Journal of Systems and Software. 1995 ; Vol. 29, No. 3. pp. 251-259.
@article{fccda1df7ac74f4d97ba3d8530e9a025,
title = "Formal semantics for rule-based systems",
abstract = "The existence of a formal description of any language is a prerequisite to any rigorous methods of proof, validation, or verification. This article develops a formal semantics in the denotational style for rule-based production systems. Primarily, a formal description of a generalized, hypothetical language for rule-based expert systems is developed as a base. Building on this base, it is possible to specify in detail the variations that distinguish individual real-world systems in a usable way.",
author = "S. Murrell and Robert Plant",
year = "1995",
doi = "10.1016/0164-1212(94)00108-Y",
language = "English (US)",
volume = "29",
pages = "251--259",
journal = "Journal of Systems and Software",
issn = "0164-1212",
publisher = "Elsevier Inc.",
number = "3",

}

TY - JOUR

T1 - Formal semantics for rule-based systems

AU - Murrell, S.

AU - Plant, Robert

PY - 1995

Y1 - 1995

N2 - The existence of a formal description of any language is a prerequisite to any rigorous methods of proof, validation, or verification. This article develops a formal semantics in the denotational style for rule-based production systems. Primarily, a formal description of a generalized, hypothetical language for rule-based expert systems is developed as a base. Building on this base, it is possible to specify in detail the variations that distinguish individual real-world systems in a usable way.

AB - The existence of a formal description of any language is a prerequisite to any rigorous methods of proof, validation, or verification. This article develops a formal semantics in the denotational style for rule-based production systems. Primarily, a formal description of a generalized, hypothetical language for rule-based expert systems is developed as a base. Building on this base, it is possible to specify in detail the variations that distinguish individual real-world systems in a usable way.

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

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

U2 - 10.1016/0164-1212(94)00108-Y

DO - 10.1016/0164-1212(94)00108-Y

M3 - Article

AN - SCOPUS:0039670777

VL - 29

SP - 251

EP - 259

JO - Journal of Systems and Software

JF - Journal of Systems and Software

SN - 0164-1212

IS - 3

ER -