Course KRR: Rozdiel medzi revíziami
(prve info k projektu) |
d |
||
| (39 medziľahlých úprav od 4 ďalších používateľov nie je zobrazených) | |||
| Riadok 1: | Riadok 1: | ||
| + | '''This page is under revision. Stay tuned...''' | ||
| + | <!-- | ||
Knowledge Representation and Reasoning (course homepage) | Knowledge Representation and Reasoning (course homepage) | ||
*Lectures: Martin Baláž, Martin Homola | *Lectures: Martin Baláž, Martin Homola | ||
| − | *Labs: | + | *Labs: Alexander Šimko |
| − | * | + | *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&usp=sharing 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 [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below. | ||
==Literature== | ==Literature== | ||
| − | # [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf | + | 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.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ 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.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998. | ||
| + | # Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999. | ||
| + | # Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993. | ||
| + | # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000. | ||
| + | |||
== Evaluation == | == Evaluation == | ||
| Riadok 14: | Riadok 36: | ||
Evaluation points: | Evaluation points: | ||
| − | *Midterm: | + | *Midterm: 10 |
| − | *Exam: | + | *Exam: 30 (min 10) |
| − | *Project: | + | *Project: 25 (min 10) |
| − | *Labs: 10 | + | *Labs: 10 (min 3) |
| − | *TOTAL: | + | *TOTAL: 75 |
| − | + | ||
Evaluation scale: | Evaluation scale: | ||
| − | * | + | * 67 and more: A |
| − | * | + | * 59 and more: B |
| − | * | + | * 52 and more: C |
| − | * | + | * 45 and more: D |
| − | * | + | * 39 and more: E |
== Project == | == Project == | ||
| − | The | + | The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki. |
| − | + | ||
| + | == Lecture Slides == | ||
| + | |||
| + | * [[File:KRR2013-Lecture-1-intro.pdf]] | ||
| + | * [[File:KRR2013-Lecture-2-DL.pdf]] | ||
| + | * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]] | ||
| + | * [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]] | ||
| + | * [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]] | ||
| + | * [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]] | ||
| + | * [[File:KRR2013-Lecture-7-Reasoning-with-Incomplete-Knowledge.pdf]] | ||
| + | * [[File:KRR2013-Lecture-8-Reasoning-with-Inconsistent-Knowledge.pdf]] | ||
| + | * [[File:KRR2013-Lecture-9-NMR-characterization.pdf]] | ||
| + | * [[File:KRR2013-Lecture-10-Induction.pdf]] | ||
| + | * [[File:KRR2013-Lecture-11-Abduction.pdf]] | ||
| + | |||
| + | |||
| + | == Labs == | ||
| + | |||
| + | * [[File:Cv01dopyty.pdf]] | ||
| + | * [[File:Cv02dl.pdf]] | ||
| + | * [[File:Cv03ers2dl.pdf]] | ||
| + | * [[File:Cv04ers2dl2.pdf]] | ||
| + | * [[File:Cv05lp.pdf]] | ||
| + | * [[File:Cv06defl.pdf]] | ||
| + | * [[File:Cv08as.pdf]] | ||
| + | * [[File:Cv09nn.pdf]] | ||
| + | * [[File:Cv10pi.pdf]] | ||
| + | * [[File:Cv11ab.pdf]] | ||
| − | + | There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]]. | |
| − | + | --> | |
| − | + | ||
Aktuálna revízia z 10:15, 18. február 2014
This page is under revision. Stay tuned...