A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation.

Yoshihiko Ohta Katsumi Inoue

Published in: FGCS (1992)

Keyphrases

forward chaining
backward chaining
meta reasoning
defeasible logic
knowledge base
planning systems
theorem proving
horn clauses
information systems
reinforcement learning