论文信息 - Towards inductive support logic programming

Towards inductive support logic programming

Support logic programming and its practical implementation (Fril) integrates probabilistic and fuzzy uncertainty into logic programming using mass assignments. This paper presents a snapshot of current research, aimed at combining the best aspects of inductive logic programming with the uncertainty representation of Fril to create a sophisticated and novel approach to knowledge discovery. An example is given showing how a supported Fril rule can be extracted from uncertain Fril relations.

Trevor P Martin | James F. Baldwin | J. Baldwin | T. Martin

[1] Ronald R. Yager,et al. ON DIFFERENT CLASSES OF LINGUISTIC VARIABLES DEFINED VIA FUZZY SUBSETS , 1984 .

[2] Ehud Y. Shapiro,et al. Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems , 1983, IJCAI.

[3] James F. Baldwin,et al. Basic Concepts of a Fuzzy Logic Data Browser with Applications , 1997, Software Agents and Soft Computing.

[4] Joseph Y. Halpern,et al. From Statistical Knowledge Bases to Degrees of Belief , 1996, Artif. Intell..

[5] Usama M. Fayyad,et al. Knowledge Discovery in Databases: An Overview , 1997, ILP.

[6] Trevor P Martin,et al. FRIL: A support logic programming system , 1991 .

[7] V. S. Subrahmanian,et al. Hybrid Probabilistic Programs , 2000, J. Log. Program..

[8] S. Muggleton. Stochastic Logic Programs , 1996 .

[9] Thomas Lukasiewicz,et al. Probabilistic Logic Programming , 1998, ECAI.

[10] Didier Dubois,et al. The three semantics of fuzzy sets , 1997, Fuzzy Sets Syst..

[11] T. P. Martin,et al. Logic Programming and Soft Computing , 1998 .

[12] D. Dubois,et al. Fuzzy sets in approximate reasoning, part 1: inference with possibility distributions , 1999 .

[13] J. Baldwin. Support Logic Programming , 1986 .

[14] M. H. van Emden,et al. Quantitative Deduction and its Fixpoint Theory , 1986, J. Log. Program..