Data Editing and Logic Agnes Boskovitz, Rajeev Goré and Paul Wong Australian National University

UNECE SDE 2005 Aspects of editing can be expressed in terms of the language of logic. Message:

UNECE SDE 2005 Parallels between editing and logic Pure deduction method using directional resolution Pure deduction method using covering sets Method Answer to: Which are the (smallest) field sets on which R can be corrected? Output Edit set E, record RInput Answer to: Is there a record that satisfies E? Edit set E SAT (satisfiability)Error localisationProblem LogicEditing Refutation completeness Soundness Properties needed Error correction guarantee Error correction totality

UNECE SDE 2005 Look at how to modify SAT tools. Next step Look at methods other than pure deduction methods – look at methods that involve search and iteration. Implication