Outlier detection by logic programming

ACM Transactions on Computational Logic

Volumn 9, Issue 1, 2007, Pages

  Angiulli, Fabrizio ^a   Greco, Gianluigi ^a   Palopoli, Luigi ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Computational complexity; Logic programming; Nonmonotonic reasoning; Outlier detection

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; OPTIMIZATION; TIME SERIES ANALYSIS;

DEFAULT THEORIES; MINIMALITY CRITERIA; NONMONOTONIC REASONING; OUTLIER DETECTION;

DATA MINING;

EID: 37049028103     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/1297658.1297665     Document Type: Article

References (80)

1. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison Wesley, Reading, MA.
2. AGGARWAL, C. C. AND YU, P. S. 2001. Outlier detection for high dimensional data. In Proceedings of the ACM International Conference on Management of Data (SIGMOD). Santa Barbara, CA, 37-46.
3. ALCHOURRÓN, C. E., GÄRDENFORS, P., AND MAKINSON, D. 1985. On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Logic 50, 2, 510-530.
4. ALCHOURRÓN, C. E. AND MAKINSON, D. 1982. The logic of theory change: Contraction functions and their associated revision functions. Theoria 48, 14-37.
5. ALCHOURRÓN, C. E. AND MAKINSON, D. 1985. On the logic of theory change: Safe contraction. Studia Logica 44, 405-422.
6. ALDEWERELD, H., VAN DER HOEK, W., AND MEYER, J.-J. C. 2004. Rational teams: Logical aspects of multi-agent systems. Fundamenta Informaticae 63, 2-3, 159-183.
7. ANGIULLI, F., BEN-ELIYAHU-ZOHARY, R., AND PALOPOLI, L. 2003. Outlier detection using default logic. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI). Acapulco, Mexico, 833-838. Extended technical report available for download at http://dns2.icar.cnr.it/angiulli/papers/ijcai2003full. pdf.
8. ANGIULLI,F., GRECO, G., AND PALOPOLI, L. 2004. Detecting Outliers via Logical Theories and its Data Complexity. In Proceedings of the 7th International Conference on Discovery Science (DS). Padova, Italy.
9. ANGIULLI,F., GRECO, G., AND PALOPOLI, L. 2004. Discoverying anomalies in evidential knowledge by logic programming. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA). Lisbon, Portugal.
10. ANGIULLI, F. AND PIZZUTI, C. 2005. Outlier mining in large high dimensional data sets. IEEE Trans. Knowl. Data Eng. 17, 2, 203-215.
11. APOSTOLICO, A., BOCK, M. E., LONARDI, S., AND XU, X. 2000. Efficient detection of unusual words. J. Comput. Biology 7,1/2, 71-94.
12. ARENAS, M., BERTOSSI, L. E., AND CHOMICKI, J. 1999. Consistent query answers in inconsistent databases. In Proceedings of the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS). 68-79.
13. ARNING, A., AGGARWAL, C., AND RAGHAVAN,P.1996. A linear method for deviation detection in large databases. In Proceedings of 2th ACM International Conference on Knowledge Discovery and Data Mining (KDD). Portland, OR, 164-169.
14. BARNETT, V. AND LEWIS, T. 1994. Outliers in Statistical Data. John Wiley & Sons, New York.
15. BAY, S. D. AND SCHWABACHER, M. 2003. Mining distance-based outliers in near linear time with randomization and a simple pruning rule. InProceedings of the 9th ACM International Conference on Knowledge Discovery and Data Mining (KDD). Washington, DC, 29-38.
16. BEN-ELIYAHU-ZOHARY, R. AND DECHTER, R. 1994. Prepositional semantics for disjunctive logic programs. Annals Mathem. AI 12, 1-2, 53-87.
17. BONCHI,F., GIANNOTTI, F., MAINETTO, G., AND PEDRESCHI, D. 1999. A classification-based methodology for planning audit strategies in fraud detection. In Proceedings of the 5th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD). San Diego, CA, 15-18.
18. BOUTILIER, C., FRIEDMAN, N., AND HALPERN, J. Y. 1998. Belief revision with unreliable observations. In Proceedings of the 15th National Conference on Artificial Intelligence and 10th Innovative Applications of Artificial Intelligence Conference (AAAI/IAAI). Madison, WI, 127-134.
19. BREUNIG, M. M., KRIEGEL, H., NG, R.T.,AND SANDER, J. 2000. LOF: Identifying density-based local outliers. In Proceedings of the 2000 ACM SIGMOD International Conference on Managment of Data (SIGMOD). Dallas, TX, 93-104.
20. BUCCAFURRI, F., LEONE,N., AND RULLO,P.2000. Enhancing disjunctive datalog by constraints. IEEE Trans. Knowl. Data Eng. 12, 5, 845-860.
21. CHEN, Z. AND TODA, S. 1995. The complexity of selecting maximal solutions. Inform. Comput. 119, 2, 231-239.
22. CHOMICKI, J., MARCINKOWSKI, J., AND STAWORKO, S. 2004. Computing consistent query answers using conflict hypergraphs. In Proceedings of the 13th ACM Conference on Information and Knowledge Management (CIKM). ACM Press, 417-426.
23. CONSOLE, L., DUPRÉ, D.T., AND TORASSO,P.1989. A theory of diagnosis for incomplete causal models. In Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI). Detroit, MI, 1311-1317.
24. CONSOLE, L., DUPRE, D. T., AND TORASSO,P.1991. On the relationship between abduction and deduction. J. Logic Comput. 1, 5, 661-690.
25. DAMÁSIO, C., PEREIRA, L. M., AND SCHROEDER, M. 1997. Revise: Logic programming and diagnosis. In Proceedings of the 4th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR). Dagstuhl, Germany, 354-363.
26. DANTSIN, E., EITER, T., GOTTLOB, G., AND VORONKOV, A. 2001. Complexity and expressive power of logic programming. ACM Comput. Suru. 33, 3, 374-425.
27. DARWICHE, A. AND PEARL, J. 1997. On the logic of iterated belief revision. AI89, 1-29.
28. DE KLEER, J. AND WILLIAMS, B. C. 1984. Diagnosing multiple faults. AI 32, 1, 97-130.
29. DE KLEER, J. AND WILLIAMS, B. C. 1992. Diagnosis with behavioral modes. In Proceedings of the International Joint Conference on Artificial Intelligence, 124-130.
30. DENECKER, M. AND KAKAS, A. C. 2002. Abduction in logic programming. In Computational LogicLogic Programming and Beyond, 402-436.
31. DUNG, P. M. 1991. Negation as hypotheses: An abductive foundation for logic programming. In Proceedings of the 8th International Conference on Logic Programming (ICLP). 3-17.
32. EITER, T., FABER,W., LEONE, N., AND PFEIFER, G. 1999. The diagnosis frontend of the dlv system. AI Commun. 12, 1-2, 99-111.
33. EITER,T.,FABER, W., LEONE, N., PFEIFER, G., AND POLLERES, A. 2004. A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Trans. Computa. Logic 5, 2, 206-263.
34. ENDRISS, U., MANCARELLA, R, SADRI,F., TERRENI, G., AND TONI, F. 2004. The ciff proof procedure for abductive logic programming with constraints. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA). 31-43.
35. ESKIN, E., ARNOLD, A., PRERAU, M., PORTNOY, L., AND STOLFO, S. J. 2002. Applications of Data Mining in Computer Security. Kluwer. (Chapter A geometric framework for unsupervised anomaly detection.)
36. FRIEDMAN, N. AND HALPERN, J. Y 1996. Belief revision: A critique. In Principles of Knowledge Representation and Reasoning. 421-431.
37. FRIEDMAN, N. AND HALPERN, J. Y 1997. Modeling beliefs in dynamic systems, part i: Foundations. AI 95, 257-316.
38. FUXMAN, A., FAZLI, E., AND MILLER, R. J. 2005. Efficient management of inconsistent databases. In Proceedings of the 2005 ACM International Conference on Management of Data (SIGMOD).
39. GAREY, M. R. AND JOHNSON, D. S. 1979. Computers and Intractability. A Guide to the Theory of NP-Completeness. Freeman and Comp., New York.
40. GELFOND, M. AND LIFSCHITZ, V. 1988. The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming (ICLP). Seattle, WA, 1070-1080.
41. GELFOND, M. AND LIFSCHITZ, V 1991. Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365-385.
42. GENESERETH, M. R. 1984. The use of design descriptions in automated diagnosis. AI 24, 411-436.
43. HANSSON, S. O. 1999. A survey of non-prioritized belief revision. Erkenntnis 50, 2-3, 413-427.
44. JANHUNEN,T.,NIEMELÄ, I., SIMONS, R, AND YOU, J.-H. 2000. Unfolding partiality and disjunctions in stable model semantics. In Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR). Breckenridge, CO, 411-419.
45. JOHNSON, D. S. 1990. Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity. Elsevier and The MIT Press (co-publishers). (Chapter A catalogof complexity classes, 67-161.)
46. KAKAS, A. C. AND MANCARELLA,P.1990a. Database updates through abduction. In Proceedings of the 16th International Conference on Very Large Data Bases (VLDB). Brisbane, Queensland, Australia, 650-661.
47. KAKAS, A. C. AND MANCARELLA,P.1990b. Generalized stable models: A semantics for abduction. In Proceedings of the 9th European Conference on Artificial Intelligence (ECAI). 385-391.
48. KAKAS, A. C., NUFFELEN, B. V, AND DENECKER, M. 2001. A-system: Problem solving through abduction. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI). 591-596.
49. KATSUNO, H. AND MENDELZON, O. 1991. On the difference between updating a knowledge base and revising it. In Principles of Knowledge Representation and Reasoning. 387-394.
50. KNORR, E., NG, R., AND TUCAKOV, V. 2000. Distance-based outlier: algorithms and applications. VLDB J. 8, 3-4, 237-253.
51. KRAUS, S. 1997. Negotiation and cooperation in multi-agent environments. AI 94, 1-2, 79-98.
52. KRENTEL, M. W 1988. The complexity of optimization problems. J. Comput. Syst. Sci. 36, 3, 490-509.
53. KURI, J., MÉ, L., AND NAVARRO, G. 2003. Fast multipattern search algorithms for intrusion detection. Fundamenta Informaticae 56, 1-2, 23-49.
54. LEE, W., STOLFO, S. J., AND MOK, K. W 1998. Mining audit data to build intrusion detection models. In Proceedings of the 4th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD). 66-72.
55. LENZERINI, M. 2002. Data integration: A theoretical perspective. In Proceedings of the 21st ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS). 233-246.
56. LEONE, N., EITER, T., FABER, W., FINK, M., GOTTLOB, G., GRECO, G., IANNI, G., KALKA, E., LEMBO, D., LENZERINI, M., LIO, V., NOWICKI, B., ROSATI, R., RUZZI, M., STANISZKIS, W., AND TERRACINA, G. 2005. The INFOMIX system for advanced integration of incomplete and inconsistent data. In Proceedings of the ACM International Conference on Management of Data (SIGMOD).
57. LEONE, N., PFEIFER, G., FABER,W., EITER, T., GOTTLOB, G., PERRI, S., AND SCARCELLO, F. 2005. The div system for knowledge representation and reasoning. ACM Trans. Comput. Logic (To appear, see http://www.acm.org/ tocl/accepted.html.).
58. LIN, F. AND YOU, J.-H. 2002. Abduction in logic programming: A new definition and an abductive procedure based on rewriting. AI 140, 1-2, 175-205.
59. LIN, F. AND ZHAO, Y. 2002. ASSAT: Computing answer sets of a logic program by SAT solvers. In Proceedings of the 8th National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence (AAAI / IAAI). Menlo Pare, CA, 112-118.
60. NIEMELÄ, I. AND SIMONS,P.1997. Smodels: An implementation of the stable model and wellfounded semantics for normal LP. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). Berlin, Germany, 420-429.
61. PAPADIMITRIOU, C. H. 1994. Computational Complexity. Addison-Wesley, Reading, MA.
62. PEIRCE, C. S. 1955. Abduction and induction. In Philosophical Writings of Peirce, 150-156.
63. POOLE, D. 1988. Representing knowledge for logic-based diagnosis. In International Conference on 5th Generation Computing Systems. 1282-1290.
64. POOLE, D. 1989. Normality and faults in logic-based diagnosis. In Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI). 1304-1310.
65. PREIST, C., ESHGHI, K., AND BERTOLINO, B. 1994. Consistency-based and abductive diagnoses as generalized stable models. Annals Mathem. AI 11, 1-4, 51-74.
66. RAMASWAMY, S., RASTOGI, R., AND SHIM, K. 2000. Efficient algorithms for mining outliers from large data sets. In Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data. Dallas, TX, 427-438.
67. REITER, R. 1980. A logic for default reasoning. AI 13, 1-2, 81-132.
68. REITER, R. 1987. A theory of diagnosis from first principles. AI 32, 1, 57-96.
69. ROSSET, S., MURAD, U., NEUMANN, E., IDAN, Y., AND PINKAS, G. 1999. Discovery of fraud rules for telecommunications-challenges and solutions. In Proceedings of the 5th ACM International Conference on Knowledge Discovery and Data Mining (KDD). San Diego, CA, 409-413.
70. SADRI, F., TONI,F., AND TORRONI,P. 2001. Dialogues for negotiation: agent varieties and dialogue sequences. In Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL). J.-J. Meyer and M. Tambe, Eds. 69-84.
71. SELMAN, A. L. 1994. A taxonomy of complexity classes of functions. J. Comput. Syst. Sci. 48, 2, 357-381.
72. SON, T.C.,TU,P.H., AND BARAL, C. 2004. Planning with sensing actions and incomplete information using logic programming. In Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). Fort Lauderdale, FL, 261-274.
73. STRUSS,P.AND DRESSLER, O. 1989. "physical negation"-integrating fault models into the general diagnosis engine. In Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI). 1318-1323.
74. TOM, F. AND PROVOST, F 1997. Adaptive fraud detection. Data Min. Knowl. Discov. 1, 3, 291-316.
75. VALIANT, L. G. 1979. The complexity of computing the permanent. Theore. Comput. Sci. 8, 2, 189-201.
76. VAN DER HOEK, W. AND WOOLDRIDGE, M. 2005. On the logic of cooperation and prepositional control. AI 164, 1-2, 81-119.
77. VARDI, M. Y 1982. The complexity of relational query languages. In Proceedings of the 14th Annual ACM Symposium on Theory of Computing (STOC). 137-146.
78. VASCONCELOS, W W., ROBERTSON, D. S., SIERRA, C., ESTEVA, M., SABATER, J., AND WOOLDRIDGE, M. 2004. Rapid prototyping of large multi-agent systems through logic programming. Annals Mathem. AI 41, 2-4, 135-169.
79. WALTON, D. N. AND KRABBE, E. C. W. 1995. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany, NY.
80. WOOLDRIDGE, M. J. AND PARSONS, S. 2000. Languages for negotiation. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI). 393-400.