Constraint satisfaction for inductive logic programming
| Thesis title in Czech: | Použití omezující podmínek v induktivním logickém programování |
|---|---|
| Thesis title in English: | Constraint satisfaction for inductive logic programming |
| Key words: | induktívne logické programovanie, konzistencia šablón, induktívne odvodzovanie |
| English key words: | inductive logic programming, template consistency, inductive reasoning |
| Academic year of topic announcement: | 2010/2011 |
| Thesis type: | diploma thesis |
| Thesis language: | angličtina |
| Department: | Department of Theoretical Computer Science and Mathematical Logic (32-KTIML) |
| Supervisor: | prof. RNDr. Roman Barták, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 21.10.2010 |
| Date of assignment: | 21.10.2010 |
| Date and time of defence: | 31.05.2011 00:00 |
| Date of electronic submission: | 15.04.2011 |
| Date of submission of printed version: | 31.12.2010 |
| Date of proceeded defence: | 31.05.2011 |
| Opponents: | prof. Ing. Filip Železný, Ph.D. |
| Guidelines |
| The thesis deals with the application of constraint satisfaction techniques in machine learning, in particular in the area of inductive logic programming. The basic task is to find a logical hypothesis that covers given positive examples and excludes the negative examples. The student will first familiarize with the techniques of constraint modelling and solving for the subsumption problem and for generating hypothesis from the template. Based on this study the student will propose some improvement or extension of the existing models, for example to solve the optimisation version of the problem. |
| References |
| Barták, R.: Constraint Models for Reasoning on Unification in Inductive Logic Programming. In Darina Dicheva, Danail Dochev (eds.) Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2010). LNAI 6304, pp. 101-110, Springer Verlag, 2010.
Maloberti, J., Sebag, M.: Fast Theta-Subsumption with Constraint Satisfaction Algorithms. Machine Learning, 55, 137-174. Kluwer Academic Publishers, 2004. Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. Journal of Logic Programming, 19, 629-679, 1994. |