On Modern Debugging For Rule-Based Systems.
Valentin ZachariasAndreas AbeckerPublished in: SEKE (2007)
Keyphrases
- rule based systems
- rule base
- rule based expert systems
- security systems
- expert systems
- knowledge representation
- formal models
- knowledge based systems
- model based diagnosis
- procedural semantics
- hardware designs
- formal model
- clustering algorithm
- backward chaining
- knowledge acquisition
- image processing
- knowledge base
- genetic algorithm
- data mining
- real time