Census Data Repair: A Challenging Application of Disjunctive Logic Programming
- Cite this paper as:
- Franconi1 E., Palma A.L., Leone N., Perri S., Scarcello F. (2001) Census Data Repair: A Challenging Application of Disjunctive Logic Programming. In: Nieuwenhuis R., Voronkov A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2001. Lecture Notes in Computer Science, vol 2250. Springer, Berlin, Heidelberg
Census data provide valuable insights on the economic, social and demographic conditions and trends occurring in a country. Census data is collected by means of millions of questionnaires, each one including the details of the persons living together in the same house. Before the data from the questionnaires is sent to the statisticians to be analysed, a cleaning phase (called “imputation”) is performed, in order to eliminate consistency problems, missing answers, or errors. It is important that the imputation step is done without altering the statistical validity of the collected data. The contribution of this paper is two fold. On the one hand, it provides a clear and well-founded declarative semantics to questionnaires and to the imputation problem. On the other hand, a correct modular encoding of the problem in the disjunctive logic programming language DLP(suw), supported by the DLV system, is shown. It turns out that DLP(suw) is very well-suited for this goal. Census data repair appears to be a challenging application area for disjunctive logic programming.
Unable to display preview. Download preview PDF.