Data Editing and Logic

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 Refutation completeness Error correction totality Soundness Parallels between editing and logic Editing Logic Problem Error localisation Input Edit set E, record R Output Answer to: Which are the (smallest) field sets on which R can be corrected? Method Pure deduction method using covering sets Pure deduction method using directional resolution Properties needed

Implication 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.

Data Editing and Logic

Data Editing and Logic

Presentation Transcript

Creating and Editing Feature Data

Data Storage and Editing

Data + ALgo = Logic Logic + Data = ANSwers

Statistical Data Editing and Imputation

Data Editing

Creating and editing GIS data

Data entry and editing

Data editing and validation

Statistical Data Editing

Arc: Editing Data

Integrated Data Editing and Imputation

Editing Spatial Data

Data Editing Strategies

Editing for logic

Chapter 3 Entering and Editing Data

Creating and Editing Feature Data

Census Data Editing: Structure and Within Record Editing

Data Creation and Editing

Viewing, Managing and Editing Realtime Data

Data Editing: Introduction

Data editing and scanner data

Editing Administrative Data and Combined Data Sources