The Automated Analysis of Rule-based Systems, Based on their Procedural Semantics.
Rick EvertszPublished in: IJCAI (1991)
Keyphrases
- automated analysis
- procedural semantics
- rule based systems
- rule base
- knowledge representation
- visual analysis
- expert systems
- rule based expert systems
- biomedical imaging
- security systems
- logic programming
- knowledge based systems
- video analysis
- backward chaining
- formal models
- general purpose
- genetic algorithm
- neural network
- cell nuclei
- information retrieval
- real time
- fuzzy rules
- control system