A Semantic Backward Chaining Proof System.

Xumin Nie David A. Plaisted

Published in: Artif. Intell. (1992)

Keyphrases

backward chaining
forward chaining
expert systems
knowledge base
inference engine
rule based systems
natural language
semantic information
domain specific
knowledge acquisition
modal logic
inference process
decision trees
search algorithm
domain independent