Declarative Specification and Interpretation of Rule-Based Systems.
Dietmar SeipelJoachim BaumeisterPublished in: FLAIRS Conference (2008)
Keyphrases
- rule based systems
- procedural semantics
- knowledge representation
- high level
- security systems
- rule base
- rule based expert systems
- expert systems
- formal models
- knowledge based systems
- logic programming
- formal specification
- image processing
- artificial intelligence
- backward chaining
- real time
- machine learning
- knowledge acquisition
- fuzzy logic
- knn
- learning algorithm
- neural network