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 | Journal of Systems and Software |
| Volume | 29 |
| Issue number | 3 |
| DOIs | |
| State | Published - 1995 |
Fingerprint
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 journal › Article
}
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 -