Induction of Fuzzy and Annotated Logic Programs

The new direction of the research in the field of data mining is the development of methods to handle imperfection (uncertainty, vagueness, imprecision,...). The main interest in this research is focused on probability models. Besides these there is an extensive study of the phenomena of imperfection in fuzzy logic. In this paper we concentrate especially on fuzzy logic programs (FLP) and Generalized Annotated Programs (GAP). The lack of the present research in the field of fuzzy inductive logic programming (FILP) is that every approach has its own formulation of the proof-theoretic part (often dealing with linguistic hedges) and lack sound and compete formulation of semantics. Our aim in this paper is to propose a formal model of FILP and induction of GAP programs (IGAP) based on sound and complete model of FLP (without linguistic hedges) and its equivalence with GAP. We focus on learning from entailment setting in this paper. We describe our approach to IGAP and show its consistency and equivalence to FILP. Our inductive method is used for detection of user preferences in a web search application. Finally, we compare our approach to several fuzzy ILP approaches.

[1]  Hendrik Blockeel,et al.  Knowledge Discovery in Databases: PKDD 2003 , 2003, Lecture Notes in Computer Science.

[2]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[3]  Luc De Raedt,et al.  Probabilistic Inductive Logic Programming , 2004, ALT.

[4]  Peter Vojtás,et al.  Fuzzy logic programming , 2001, Fuzzy Sets Syst..

[5]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[6]  Lise Getoor,et al.  Learning Probabilistic Relational Models , 1999, IJCAI.

[7]  Stanislav Krajci,et al.  A comparison of fuzzy and annotated logic programming , 2004, Fuzzy Sets Syst..

[8]  Nada Lavrač,et al.  An Introduction to Inductive Logic Programming , 2001 .

[9]  Tohgoroh Matsui,et al.  An Induction Algorithm Based on Fuzzy Logic Programming , 1999, PAKDD.

[10]  Luc De Raedt,et al.  Bayesian Logic Programs , 2001, ILP Work-in-progress reports.

[11]  Ning Zhong,et al.  Methodologies for Knowledge Discovery and Data Mining , 2002, Lecture Notes in Computer Science.

[12]  Ivan Bratko,et al.  Learning Qualitative Models , 2004, AI Mag..

[13]  Gilles Richard,et al.  Enriching Relational Learning with Fuzzy Predicates , 2003, PKDD.

[14]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[15]  Ulrich Bodenhofer,et al.  FS-FOIL: an inductive learning method for extracting interpretable fuzzy descriptions , 2003, Int. J. Approx. Reason..

[16]  Luc De Raedt,et al.  Scaling Up Inductive Logic Programming by Learning from Interpretations , 1999, Data Mining and Knowledge Discovery.

[17]  Peter Vojtás,et al.  Fuzzy Induction via Generalized Annotated Programs , 2004, Fuzzy Days.

[18]  David Heckerman,et al.  A Tutorial on Learning with Bayesian Networks , 1999, Innovations in Bayesian Networks.