Outlier detection using default logic

  • Authors:

  • Angiulli Fabrizio;Rachel Ben-Eliyahu-Zohary;Luigi Palopoli

  • Affiliations:

  • ICAR-CNR, DEIS, Univ. della Calabria, Rende, CS, Italy;Comm. Systems Engineering Dept., Ben-Gurion Univ. of the Negev, Beer-Sheva, Israel;DIMET, Univ. di Reggio Calabria, Reggio Calabria, Italy

  • Venue:
  • IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers -- individuals who behave in an unexpected way or feature abnormal properties. The ability to locate outliers can help to maintain knowledge-base integrity and to single out irregular individuals. We first formally define the notion of an outlier and an outlier witness. We then show that finding outliers is quite complex. Indeed, we show that several versions of the outlier detection problem lie over the second level of the polynomial hierarchy. For example, the question of establishing if at least one outlier can be detected in a given propositional default theory is Σ3P-complete. Although outlier detection involves heavy computation, the queries involved can frequently be executed offline, thus somewhat alleviating the difficulty of the problem. In addition, we show that outlier detection can be done in polynomial time for both the class of acyclic normal unary defaults and the class of acyclic dual normal unary defaults.