Upload
avram-carrillo
View
39
Download
2
Embed Size (px)
DESCRIPTION
Data Editing and Logic. Agnes Boskovitz, Rajeev Gor é and Paul Wong Australian National University. Message:. Aspects of editing can be expressed in terms of the language of logic. SAT (satisfiability). Edit set E. Answer to: Is there a record that satisfies E?. Error correction guarantee. - PowerPoint PPT Presentation
Citation preview
Data Editing and Logic
Agnes Boskovitz, Rajeev Goré and Paul Wong
Australian National University
UNECE SDE 2005 [email protected] 2
Aspects of editing can be expressed in terms of the language of logic.
Message:
UNECE SDE 2005 [email protected] 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 [email protected] 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