Integrating forward-chaining rules with operations and permanent knowledge bases.
Christoph F. EickJialin LiuPaul WersteinPublished in: J. Syst. Integr. (1992)
Keyphrases
- forward chaining
- backward chaining
- knowledge base
- inference engine
- defeasible logic
- expert systems
- horn clauses
- planning systems
- theorem proving
- rule based systems
- knowledge acquisition
- description logics
- rule base
- planning graph
- neural network
- logic programming
- knowledge based systems
- association rules
- web services
- artificial intelligence