Edinburgh Research Explorer

On the Correction of Faulty Formulae

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Original languageEnglish
Pages (from-to)25-37
Number of pages13
JournalComputación y Sistemas
Issue number1
Publication statusPublished - 2001


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.

Download statistics

No data available

ID: 7543467