Towards validation and refinement of rule-based systems.

Rainer Knauf Ilka Philippow Avelino J. Gonzalez

Published in: J. Exp. Theor. Artif. Intell. (2000)

Keyphrases

rule based systems
rule based expert systems
knowledge representation
rule base
security systems
expert systems
formal models
knowledge based systems
refinement process
procedural semantics
machine learning
real time
neural network
evolutionary algorithm
fuzzy rules
backward chaining