Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining.
Marius BrezovanCostin BadicaPublished in: BCI (2015)
Keyphrases
- rule base
- inference engine
- forward chaining
- backward chaining
- defeasible logic
- rule based systems
- knowledge base
- rule selection
- fuzzy logic
- fuzzy rules
- expert systems
- production rules
- membership functions
- linguistic rules
- fuzzy logic controller
- knowledge representation
- databases
- knowledge acquisition
- knowledge based systems
- fuzzy sets
- blocks world
- search algorithm