Formal semantics for rule-based systems.
Stephen MurrellRobert PlantPublished in: J. Syst. Softw. (1995)
Keyphrases
- rule based systems
- formal semantics
- rule base
- knowledge representation
- security systems
- rule based expert systems
- formal models
- expert systems
- logical language
- knowledge based systems
- logical reasoning
- first order logic
- operational semantics
- theorem prover
- modelling language
- machine learning
- modeling language
- software engineering
- control system
- neural network