Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning.
Michael GabbayMurdoch GabbayPublished in: We Will Show Them! (1) (2005)
Keyphrases
- goal directed
- natural deduction
- intuitionistic logic
- inference rules
- formal models
- production rules
- random walk
- theorem prover
- theorem proving
- autonomous robots
- sequent calculus
- cut elimination
- logical reasoning
- automated planning
- linear logic
- classical logic
- linear time temporal logic
- logical framework
- automated reasoning
- association rules
- knowledge base
- reasoning problems
- evidential reasoning
- formal methods
- knowledge representation