Boolean array structures for a rule-based forward chaining inference engine.
Kenneth FordyceGerald Gary SullivanPublished in: APL (1987)
Keyphrases
- backward chaining
- inference engine
- forward chaining
- rule base
- expert systems
- defeasible logic
- rule based systems
- knowledge base
- fuzzy logic
- knowledge based systems
- knowledge representation
- fuzzy rules
- planning systems
- horn clauses
- membership functions
- artificial intelligence
- blocks world
- theorem proving
- production rules
- knowledge acquisition
- pattern recognition