Knowledge Representation and Reasoning (course homepage)
- Lectures: Martin Baláž, Martin Homola
- Labs: Alexander Šimko
- Evaluation: Google Doc
Course outline
- From databases to KR&R
- From deduction to hypothetical reasoning
- Preferences
- Knowledge revision
- Induction
- Abduction
Prerequisites
It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed Computational Logic before, you should be just fine. If you need to refresh your knowledge here, you can either look at the slides from Computational Logic, or in the recommended literature as listed below.
Literature
Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.
- Baader et al.: The Description Logic Handbook: Theory, Implementation and Applications. Oxford University Press, 2nd ed., 2003.
- Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Description logic framework for information integration. In: KR 1998, Morgan Kaufmann 1998.
- Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.
- Catarci, T., Lenzerini, M,: Representing and using interschema knowledge in cooperative information systems. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.
- Šefránek, J.:Inteligencia ako výpočet. IRIS, 2000.
Evaluation
Evaluation points:
- Midterm: 10
- Exam: 30 (min 10)
- Project: 25 (min 10)
- Labs: 10 (min 3)
- TOTAL: 75
Evaluation scale:
- 67 and more: A
- 59 and more: B
- 52 and more: C
- 45 and more: D
- 39 and more: E
Project
The project assignment can now be found in the student's wiki.
Lecture Slides
- Súbor:KRR2013-Lecture-1-intro.pdf
- Súbor:KRR2013-Lecture-2-DL.pdf
- Súbor:KRR2013-Lecture-3-ER-vs-DL.pdf
- Súbor:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf
- Súbor:KRR2013-Lecture-5-Deductive-Databases.pdf
- Súbor:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf
Labs
- Súbor:Cv01dopyty.pdf
- Súbor:Cv02dl.pdf
- Súbor:Cv03ers2dl.pdf
- Súbor:Cv04ers2dl2.pdf
- Súbor:Cv05lp.pdf
- Súbor:Cv06defl.pdf
- Súbor:Cv08as.pdf
S druhou rozcvičkou boli trochu problémy, hlavne v korektnom zápise sledu argumentov. Jeden z môžných dôkazov nájdete v Súbor:R02riesenie.pdf