An Interactive System to Learn Functional Logic Programs.
作者： Daniele Gunetti , Francesco Bergadano
DOI:
关键词:
摘要: The problem of learning functional logic programs from positive examples is addressed. We describe a system, called FILP, which asks existential queries to the user, and able learn multiple predicates recursive clauses. prove that learned descriptions are correct in sense they consistent with given examples. Moreover, solution always found if it exists.
参考文章(12)
FRANCESCO BERGADANO, ATTILIO GIORDANA, A Knowledge Intensive Approach to Concept Induction. international conference on machine learning. pp. 305- 317 ,(1988) , 10.1016/B978-0-934613-64-4.50037-2
F. Bergadano, The problem of induction and machine learning international joint conference on artificial intelligence. pp. 1073- 1078 ,(1991)
Ehud Yehuda Shapiro, Algorithmic Program Debugging ,(1983)
Leon S. Sterling, Marc Kirschenbaum, Refinement strategies for inductive learning of simple prolog programs international joint conference on artificial intelligence. pp. 757- 761 ,(1991)
Stéphane Lapointe, Stan Matwin, Sub-unification: A Tool for Efficient Induction of Recursive Programs international conference on machine learning. pp. 273- 281 ,(1992) , 10.1016/B978-1-55860-247-2.50040-1
S. Muggleton, C. Feng, Efficient Induction of Logic Programs algorithmic learning theory. pp. 368- 381 ,(1990)
F. Bergadano, Inductive database relations IEEE Transactions on Knowledge and Data Engineering. ,vol. 5, pp. 969- 972 ,(1993) , 10.1109/69.250079
J.R. Quinlan, Learning Logical Definitions from Relations Machine Learning. ,vol. 5, pp. 239- 266 ,(1990) , 10.1023/A:1022699322624
Katharina Morik, Balanced Cooperative Modeling Machine Learning. ,vol. 11, pp. 217- 235 ,(1993) , 10.1007/BF00993078
Luc De Raedt, Maurice Bruynooghe, Belief updating from integrity constraints and queries Artificial Intelligence. ,vol. 53, pp. 291- 307 ,(1992) , 10.1016/0004-3702(92)90075-9