Validation of First-Order Rule-Based Systems.

Marie-Odile Cordier Stéphane Loiseau

Published in: Comput. Intell. (1996)

Keyphrases

rule based systems
rule base
knowledge representation
security systems
first order logic
rule based expert systems
formal models
expert systems
higher order
knowledge based systems
backward chaining
procedural semantics
image processing
data points
fuzzy logic
case based reasoning