- Abstract:
-
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.
- Copyright:
- 2001 Computacion y Sistemas
- Links To Paper
- No links available
- Bibtex format
- @Misc{EDI-INF-RR-0182,
- author = {
Raul Monroy
and Alan Bundy
},
- title = {On the correction of faulty formulae},
- year = 2001,
- month = {Sep},
- volume = {5(1)},
- pages = {25-37},
- }
|
