On the Correction of Faulty Formulae

R. Monroy,A. Bundy
DOI: https://doi.org/10.13053/CYS-5-1-966
2001-12-31
Abstract:WE PRESENT AN ABDUCTION MECHANISM CAPABLE OF CORRECTING FAULTY FORMULAE. A FORMULA, G, IS SAID TO BE FAULTY IF IT IS NOT DERIVABLE FROM A THEORY, WRITTEN, BUT WE INTEDED IT TO E. GIVEN A THOERY, AND A FAULTY FORMULA,G, THE MECHANISM AIMS TO BUID A CIRECTIVE CONDITION, P, THAT TRANSFORMS G INTO A THEOREM, . THE MOTHOD IMPOSES RESTRICTIONS UPON THE QUALITY OF A CORRECTIVE CONDITION. THE MECHANISM IS FULLY AUTOMATIC. IT IS GIVE AS A COLLECTION OF HEURISTICS. EACH HEURISTIC CONTROL CAPTURES THE RESTRICTED WAY IN WHICH THE SEARCH FOR A PROOF OF A FAULTY FORMULA CAN FAIL, AND PROVIDES KNOWLEDGE TO RECOVER FROM SUCH A FAILURE.
What problem does this paper attempt to address?