Chapter

Logic for Programming, Artificial Intelligence, and Reasoning

Volume 2250 of the series Lecture Notes in Computer Science pp 561-578

Date:

Census Data Repair: A Challenging Application of Disjunctive Logic Programming

  • Enrico Franconi1Affiliated withDept. of Computer Science, Univ. of Manchester
  • , Antonio Laureti PalmaAffiliated withISTAT, National Statistical Institute
  • , Nicola LeoneAffiliated withDept. of Mathematics, Univ. of Calabria
  • , Simona PerriAffiliated withDept. of Mathematics, Univ. of Calabria
  • , Francesco ScarcelloAffiliated withDEIS, Univ. of Calabria

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.