Article

Full entry | PDF   (2.1 MB)
Keywords:
Summary:
Motivation for this paper are classification problems in which data can not be clearly divided into positive and negative examples, especially data in which there is a monotone hierarchy (degree, preference) of more or less positive (negative) examples. We present a new formulation of a fuzzy inductive logic programming task in the framework of fuzzy logic in narrow sense. Our construction is based on a syntactical equivalence of fuzzy logic programs FLP and a restricted class of generalised annotated programs. The induction is achieved via multiple use of classical two valued induction on $\alpha$-cuts of fuzzy examples with monotonicity axioms in background knowledge, which is afterwards again glued together to a single annotated hypothesis. Correctness of our method (translation) is based on the correctness of FLP. The cover relation is based on fuzzy Datalog and fixpoint semantics for FLP. We present and discuss results of ILP systems GOLEM and ALEPH on illustrative examples. We comment on relations of our results to some statistical models and Bayesian logic programs.
References:
[1] Andrejková G., Jirásek J.: Neural network topologies and evolutionary design. Neural Network World 6 (2001), 547–560
[3] Bouchon-Meunier B., Marsala, Ch.: Improvement of the interpretability of fuzzy rules constructed by means of fuzzy decision tree based systems. In: Abstracts of FSTA 2002, Liptovský Ján, Slovakia 2002
[5] Drobics M., Bodenhofer, U., Winiwarter W.: Interpretation of self-organizing maps with fuzzy rules. In: ICTAI 2000, IEEE
[6] Džeroski S., Lavrač N.: An introduction to inductive logic programming. In: Relational Data Mining (S. Džeroski and N. Lavrač, eds.) Springer–Verlag, Berlin 2001, pp. 48–73
[7] al L. Getoor et: Learning probabilistic relational models. In: Relational Data Mining (S. Džeroski and N. Lavrač, eds.), Springer–Verlag, Berlin 2001, pp. 307–335 Zbl 0989.68551
[8] Hájek P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht 1999 MR 1717480 | Zbl 1007.03022
[11] Jenčušová E., Jirásek J.: Formal methods of security protocols. Tatra Mt. Math. Publ. 25 (2002), 1–10
[12] Kersting K., Raedt L. De: Towards combining Inductive Logic Programming with Bayesian Networks. In: Proc. ILP 2001 (C. Rouveirol and M. Sebagh, eds., Lecture Notes in Artificial Intelligence 2157), Springer–Verlag, Berlin 2001, pp. 118–131 MR 1906962 | Zbl 1006.68518
[13] Kersting K., Raedt L. De: Adaptive Bayesian Logic Programs. In: Proc. ILP 2001 (C. Rouveirol and M. Sebagh, eds., Lecture Notes in Artificial Intelligence 2157), Springer–Verlag, Berlin 2001, pp. 104–117 MR 1906961 | Zbl 1006.68504
[14] Kifer M., Subrahmanian V. S.: Theory of generalized anotated logic programming and its applications. J. Logic Programming 12 (1992), 335–367 DOI 10.1016/0743-1066(92)90007-P | MR 1155547
[15] Klose A., Nürnberger A., Nauck, D., Kruse R.: Data Mining with Neuro-Fuzzy Models. In: Data Mining and Computational Intelligence (A. Kandel, H. Bunke, and M. Last, eds.), Physica–Verlag, Heidelberg 2001, pp. 1–36
[16] Krajči S., Lencses, R., Vojtáš P.: A data model for annotated programs. In: ADBIS’02-Research Com. (Y. Manolopoulos and P. Návrat, eds.), Vydavatelstvo STU, Bratislava 2002, pp. 141–154
[17] Krajči S., Lencses, R., Vojtáš P.: A comparison of fuzzy and annotated logic programming. Fuzzy Sets and Systems 144 (2004), 173–192 MR 2072454 | Zbl 1065.68024
[18] Lin C.-T., Lee C.-C.: Neural Fuzzy Systems. A Neuro-Fuzzy Synergism to Intelligent Systems. Prentice Hall, New York 1996
[20] Muggleton S.: Inductive logic programming. New Gen. Comp. 8 (1991), 295–318 DOI 10.1007/BF03037089 | Zbl 0712.68022
[21] Muggleton S.: Inverse entailment and Progol. New Gen. Comp. 13 (1995), 245–286 DOI 10.1007/BF03037227
[22] Nauck D., Klawonn, F., Kruse R.: Foundations of Neuro-Fuzzy Systems. Wiley, Chichester 1997
[23] Quinlan J. R.: Learning logical definitions from relations. Mach. Learning 5 (1990), 239–266 DOI 10.1007/BF00117105
[24] Quinlan J. R., Cameron-Jones R. M.: FOIL: A midterm report. In: Proc. 6th European Conference on Machine Learning (P. Brazdil, ed., Lecture Notes in Artificial Intelligence 667), Springer–Verlag, Berlin 1993, pp. 3–20
[25] Raedt L. De, Džeroski S.: First order jk-clausal theories are PAC-learnable. Artificial Intelligence 70 (1994), 375–392 DOI 10.1016/0004-3702(94)90112-0 | MR 1301617 | Zbl 0938.68773
[26] al D. Shibata et: An induction algorithm based on fuzzy logic programming. In: Proc. PAKDD’99 (Ning Zhong and Lizhu Zhou, eds., Lecture Notes in Computer Science 1574), Springer–Verlag, Berlin 1999, pp. 268–273
[28] Vojtáš P.: Fuzzy logic programming. Fuzzy Sets and Systems 124 (2001), 361–370 DOI 10.1016/S0165-0114(01)00106-3 | MR 1860856 | Zbl 1015.68036
[29] Železný F.: Learning functions from imperfect positive data. In: Proc. ILP 2001 (C. Rouveirol and M. Sebag, eds., Lecture Notes in Computer Science 2157), Springer–Verlag, Berlin 2001, pp. 248–259 Zbl 1006.68512

Partner of