A two-tier approach to rule-based systems verification.

Richard C. Hicks

Published in: ANNES (1993)

Keyphrases

rule based systems
security systems
rule base
rule based expert systems
knowledge representation
knowledge based systems
expert systems
formal models
model checking
procedural semantics
artificial intelligence
backward chaining
decision making
knowledge base
fuzzy logic