Towards Validation of Rule-Based Systems - The Loop is Closed.
Rainer KnaufIlka PhilippowAvelino J. GonzalezKlaus P. JantkePublished in: FLAIRS Conference (2000)
Keyphrases
- rule based systems
- rule base
- security systems
- knowledge representation
- rule based expert systems
- expert systems
- knowledge based systems
- formal models
- procedural semantics
- backward chaining
- queueing networks
- pattern recognition
- neural network
- domain knowledge
- knowledge engineering
- inference engine
- high dimensional
- preprocessing
- data streams
- computer vision