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

2. UNECE SDE 2005 agnes.boskovitz@anu.edu.au2 Aspects of editing can be expressed in terms of the language of logic. Message:

3. UNECE SDE 2005 agnes.boskovitz@anu.edu.au3 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

4. UNECE SDE 2005 agnes.boskovitz@anu.edu.au4 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