Principles and practice in verifying rule-based systems.

Alun D. Preece Rajjan Shinghal Aïda Batarekh

Published in: Knowl. Eng. Rev. (1992)

Keyphrases

rule based systems
rule base
knowledge based systems
security systems
knowledge representation
rule based expert systems
formal models
expert systems
backward chaining
neural network
decision support system
genetic programming
logic programming
design principles
knowledge engineering