Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures.
Dov M. GabbayPublished in: ARW (2000)
Keyphrases
- goal directed
- autonomous robots
- mathematical proofs
- formal proofs
- automated planning
- abductive reasoning
- interpolation method
- search procedures
- mechanisms underlying
- data sets
- theorem proving
- theorem prover
- background knowledge
- autonomous learning
- causal networks
- robotic systems
- formal proof
- abductive logic programming
- medical images