Logic Programming and Nonmonotonic Reasoning

Abstract

The development of effective knowledge discovery techniques has become a very active research area in recent years due to the important impact it has had in several relevant application domains. One interesting task therein is that of singling out anomalous individuals from a given population, e.g., to detect rare events in time-series analysis settings, or to identify objects whose behavior is deviant w.r.t. a codified standard set of rules. Such exceptional individuals are usually referred to as outliers in the literature. In this paper, the LP-OD logic programming outlier detection system is described, based on the concept of outlier formally stated in the context of knowledge-based systems in [1]. The LP-OD system exploits a rewriting algorithm that transforms any outlier detection problem into an equivalent inference problem under stable model semantics, thereby making outlier computation effective and realizable on top of any stable model solver.