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 | |
State | Published - Jun 1995 |
Externally published | Yes |
ASJC Scopus subject areas
- Software
- Information Systems
- Hardware and Architecture