Bounding the Computation Time of Forward-Chaining Rule-Based Systems.

Kevin Tomsovic Chen-Ching Liu

Published in: Data Knowl. Eng. (1993)

Keyphrases

backward chaining
rule based systems
forward chaining
rule base
expert systems
knowledge based systems
defeasible logic
knowledge representation
inference engine
planning systems
theorem proving
horn clauses
pattern recognition
data mining
search space
blocks world
knowledge base