Outlier detection using default logic

Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

Research output: Contribution to journalConference articlepeer-review

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 knowledgebase 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 off-line, 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.

Original languageEnglish
Pages (from-to)3-14
Number of pages12
JournalCEUR Workshop Proceedings
Volume78
StatePublished - 1 Dec 2003
Event2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003 - Messina, Italy
Duration: 26 Sep 200328 Sep 2003

Fingerprint

Dive into the research topics of 'Outlier detection using default logic'. Together they form a unique fingerprint.

Cite this