(Addind DL Handbook into literature.)
d
 
(21 intermediate revisions by 3 users not shown)
Riadok 1: Riadok 1:
 +
'''This page is under revision. Stay tuned...'''
 +
<!--
 
Knowledge Representation and Reasoning (course homepage)
 
Knowledge Representation and Reasoning (course homepage)
  
Riadok 14: Riadok 16:
 
* Induction
 
* Induction
 
* Abduction
 
* 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==
 +
 +
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.
 
# 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.
 
#  Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.
 +
  
 
== Evaluation ==
 
== Evaluation ==
Riadok 40: Riadok 52:
 
== Project ==
 
== Project ==
  
TBA
+
The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.
  
 
== Lecture Slides ==
 
== Lecture Slides ==
Riadok 47: Riadok 59:
 
* [[File:KRR2013-Lecture-2-DL.pdf]]
 
* [[File:KRR2013-Lecture-2-DL.pdf]]
 
* [[File:KRR2013-Lecture-3-ER-vs-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 ==
 
== Labs ==
Riadok 53: Riadok 74:
 
* [[File:Cv02dl.pdf]]
 
* [[File:Cv02dl.pdf]]
 
* [[File:Cv03ers2dl.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]]
  
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 [[File:R02riesenie.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...