Edinburgh Research Explorer

On the Correction of Faulty Formulae

Research output: Contribution to journalArticle

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

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.

Download statistics

No data available

ID: 7543467