Proving Properties of Rule-Based Systems.

Richard J. Waldinger Mark E. Stickel

Published in: Int. J. Softw. Eng. Knowl. Eng. (1992)

Keyphrases

rule based systems
rule base
expert systems
rule based expert systems
security systems
formal models
knowledge based systems
knowledge representation
procedural semantics
backward chaining
databases
membership functions
formal model
error rate
data warehouse
artificial neural networks
artificial intelligence