TY - JOUR
T1 - On the Correction of Faulty Formulae
AU - Monroy,Raul
AU - Bundy,Alan
PY - 2001
Y1 - 2001
N2 - We present an abduction mechanism capable of correcting faulty conjectures. A conjecture is said to be faulty if it is not derivable from a theory, but we intended it to be. Given a theory and a faulty conjecture, the mechanism aims automatically to build a corrective condition. The mechanism is given as a set of heuristics. Each heuristic captures the restricted way in which the search for a proof of a faulty conjecture can fail and provides knowledge to recover from such failure.
AB - We present an abduction mechanism capable of correcting faulty conjectures. A conjecture is said to be faulty if it is not derivable from a theory, but we intended it to be. Given a theory and a faulty conjecture, the mechanism aims automatically to build a corrective condition. The mechanism is given as a set of heuristics. Each heuristic captures the restricted way in which the search for a proof of a faulty conjecture can fail and provides knowledge to recover from such failure.
M3 - Article
VL - 5
SP - 25
EP - 37
JO - Computación y Sistemas
T2 - Computación y Sistemas
JF - Computación y Sistemas
SN - 1405-5546
IS - 1
ER -