Data Editing and Logic

Data Editing and Logic

Agnes Boskovitz, Rajeev Goré and Paul Wong

Australian National University

UNECE SDE 2005 agnes.boskovitz@anu.edu.au 2

Aspects of editing can be expressed in terms of the language of logic.

Message:

UNECE SDE 2005 agnes.boskovitz@anu.edu.au 3

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 agnes.boskovitz@anu.edu.au 4

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