Formal semantics for rule-based systems

S. Murrell, R. Plant

Research output: Contribution to journalArticle

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 languageEnglish (US)
Pages (from-to)251-259
Number of pages9
JournalThe Journal of Systems and Software
Volume29
Issue number3
DOIs
StatePublished - Jun 1995

    Fingerprint

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture

Cite this