Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:On the correction of faulty formulae
Authors: Raul Monroy ; Alan Bundy
Date:Sep 2001
Publication Title:Computacion y Sistemas
Volume No:5(1) Page Nos:25-37
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.
2001 Computacion y Sistemas
Links To Paper
No links available
Bibtex format
author = { Raul Monroy and Alan Bundy },
title = {On the correction of faulty formulae},
year = 2001,
month = {Sep},
volume = {5(1)},
pages = {25-37},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh