Constraint satisfaction for inductive logic programming
Název práce v češtině: | Použití omezující podmínek v induktivním logickém programování |
---|---|
Název v anglickém jazyce: | Constraint satisfaction for inductive logic programming |
Klíčová slova: | induktívne logické programovanie, konzistencia šablón, induktívne odvodzovanie |
Klíčová slova anglicky: | inductive logic programming, template consistency, inductive reasoning |
Akademický rok vypsání: | 2010/2011 |
Typ práce: | diplomová práce |
Jazyk práce: | angličtina |
Ústav: | Katedra teoretické informatiky a matematické logiky (32-KTIML) |
Vedoucí / školitel: | prof. RNDr. Roman Barták, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 21.10.2010 |
Datum zadání: | 21.10.2010 |
Datum a čas obhajoby: | 31.05.2011 00:00 |
Datum odevzdání elektronické podoby: | 15.04.2011 |
Datum odevzdání tištěné podoby: | 31.12.2010 |
Datum proběhlé obhajoby: | 31.05.2011 |
Oponenti: | prof. Ing. Filip Železný, Ph.D. |
Zásady pro vypracování |
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. |
Seznam odborné literatury |
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. |