Formal semantics for rule-based systems

S. Murrell; R. Plant

doi:10.1016/0164-1212(94)00108-Y

Formal semantics for rule-based systems

S. Murrell, R. Plant

Research output: Contribution to journal › Article › peer-review

4 Scopus citations

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 language	English (US)
Pages (from-to)	251-259
Number of pages	9
Journal	The Journal of Systems and Software
Volume	29
Issue number	3
DOIs	https://doi.org/10.1016/0164-1212(94)00108-Y
State	Published - Jun 1995
Externally published	Yes

ASJC Scopus subject areas

Software
Information Systems
Hardware and Architecture

Access to Document

10.1016/0164-1212(94)00108-Y

Cite this

@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 R. Plant",

year = "1995",

month = jun,

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, R.

PY - 1995/6

Y1 - 1995/6

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 -

Formal semantics for rule-based systems

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this