Formal semantics for rule-based systems

S. Murrell, R. Plant

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


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
JournalThe Journal of Systems and Software
Issue number3
StatePublished - Jun 1995
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture


Dive into the research topics of 'Formal semantics for rule-based systems'. Together they form a unique fingerprint.

Cite this