Paper Info
Title
Using abductive recovery of failed proofs for problem solving by analogy
Abstract
We propose a solution to problem solving by analogy which is an alternative to Carbonell's transformational analogy. Given a plan that succeeds for the base, we apply the plan to the target and propose to correct its failures by an abductive recovery mechanism inspired from abductive recovery from failed proofs.
Year
DOI
Venue
1990
10.1016/B978-1-55860-141-3.50039-0
ML
Keywords
Field
DocType
abductive recovery,failed proof
Computer science,Abductive logic programming,Recovery mechanism,Mathematical proof,Artificial intelligence,Analogy,Machine learning
Conference
Issue
ISBN
Citations 
1
1-55860-141-4
5
PageRank 
References 
Authors
0.51
8
1
Name
Order
Citations
PageRank
Yves Kodratoff1581172.25