(Archived year 2011/2012)
m
 
(30 intermediate revisions by 3 users not shown)
Line 1: Line 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: Jozef Frtús
+
*Labs: Alexander Šimko
  
*Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/
+
*Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&usp=sharing Google Doc]
*Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0AnoXnHbSHpPudHFJemVVWWpXaWw1bmN4VExxVjZtNWc Google Doc]
+
  
==Literature==
+
== Course outline ==
  
# [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]
+
* From databases to KR&amp;R
 +
* From deduction to hypothetical reasoning
 +
* Preferences
 +
* Knowledge revision
 +
* Induction
 +
* Abduction
  
== Evaluation ==
+
== Prerequisites ==
  
Evaluation points:
+
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.
  
*Midterm: 15
+
==Literature==
*Exam: 40
+
*Project: 30
+
*Labs: 10
+
*TOTAL: 95
+
*BONUS: 10
+
  
Evaluation scale:
+
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.
  
* 84 and more: A
+
# 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.
* 75 and more: B
+
# 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.
* 66 and more: C
+
# 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.
* 57 and more: D
+
# 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.
* 48 and more: E
+
#  Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.
  
== Project ==
 
 
The task of the project is to propose and describe a scenario for an application
 
of ambient intelligence based on knowledge representation formalisms and reasoning. Project will be submitted in three phases, each has separate deadline:
 
 
* Phase 1 - scenario description: 23 March
 
* Phase 2 - initial formalization: 27 April
 
* Phase 3 - final formalization: <strike>25 May</strike> 25 June (or the day your examination period ends for the finishing students)
 
 
Please upload your outputs for each phase here: http://wiki.matfyz.sk/KRR2012_Projekty
 
 
IMPORTANT: Basic information about Ambient Intelligence and three demo scenarios are described in: [[http://ii.fmph.uniba.sk/~sefranek/kri/bikakis-dke09.pdf Distributed Defeasible Reasoning in Ambient Intelligence]] by Bikakis et al.
 
 
An example of a successful project by Michal Antonič: http://ii.fmph.uniba.sk/~sefranek/kri/antonic_rzai_projekt.pdf
 
 
=== Project Evaluation ===
 
 
'''Phase 1 Scenario:'''
 
* description of an intelligent application/device together with the situation (background) in which it will be used     
 
* purpose of the application device: what problem it will solve, or what task it will fulfill
 
* informal example of how the problem/task will be solved, showing how reasoning will be used                                                 
 
                                                                                     
 
'''Phases 2 and 3:'''
 
* specification of the formalism that will be used
 
* list of symbols with intuitive description of their meanings (i.e., what values they represent in the scenario)
 
* formalization of the knowledge base: facts, rules, logic programs, etc. that will be needed to solve the problem, achieve the intelligent behavior described in the scenario
 
* problem solution: formal solution of the problem using reasoning with your knowledge base in the selected formalism
 
 
Hints:
 
* link the described formal knowledge base and solution with the respective part of the scenario in where this is informally described
 
* the formalization can address a suitable part of the informal scenario only, and the informal scenario can be modified if needed, but this must be explained in your document
 
* for Phase 2 the main part of the score is for formalization of the knowledge base, while in Phase 3 it is for the formal solution of the problem
 
 
 
<!-- Archived 2011/2012
 
Knowledge Representation and Reasoning (course homepage)
 
 
*Lectures: Martin Baláž, Martin Homola
 
*Labs: Jozef Frtús
 
 
*Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/
 
*Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0AnoXnHbSHpPudHFJemVVWWpXaWw1bmN4VExxVjZtNWc Google Doc]
 
 
==Literature==
 
 
# [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]
 
  
 
== Evaluation ==
 
== Evaluation ==
Line 81: Line 36:
 
Evaluation points:
 
Evaluation points:
  
*Midterm: 15
+
*Midterm: 10
*Exam: 40
+
*Exam: 30 (min 10)
*Project: 30
+
*Project: 25 (min 10)
*Labs: 10
+
*Labs: 10 (min 3)
*TOTAL: 95
+
*TOTAL: 75
*BONUS: 10
+
  
 
Evaluation scale:
 
Evaluation scale:
  
* 84 and more: A
+
* 67 and more: A
* 75 and more: B
+
* 59 and more: B
* 66 and more: C
+
* 52 and more: C
* 57 and more: D
+
* 45 and more: D
* 48 and more: E
+
* 39 and more: E
  
 
== Project ==
 
== Project ==
  
The task of the project is to propose and describe a scenario for an application
+
The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.
of ambient intelligence based on knowledge representation formalisms and reasoning. Project will be submitted in three phases, each has separate deadline:
+
 
+
* Phase 1 - scenario description: 23 March
+
* Phase 2 - initial formalization: 27 April
+
* Phase 3 - final formalization: <strike>25 May</strike> 25 June (or the day your examination period ends for the finishing students)
+
  
Please upload your outputs for each phase here: http://wiki.matfyz.sk/KRR2012_Projekty
+
== Lecture Slides ==
  
IMPORTANT: Basic information about Ambient Intelligence and three demo scenarios are described in: [[http://ii.fmph.uniba.sk/~sefranek/kri/bikakis-dke09.pdf Distributed Defeasible Reasoning in Ambient Intelligence]] by Bikakis et al.
+
* [[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]]
  
An example of a successful project by Michal Antonič: http://ii.fmph.uniba.sk/~sefranek/kri/antonic_rzai_projekt.pdf
 
  
=== Project Evaluation ===
+
== Labs ==
  
'''Phase 1 Scenario:'''
+
* [[File:Cv01dopyty.pdf]]
* description of an intelligent application/device together with the situation (background) in which it will be used     
+
* [[File:Cv02dl.pdf]]
* purpose of the application device: what problem it will solve, or what task it will fulfill
+
* [[File:Cv03ers2dl.pdf]]
* informal example of how the problem/task will be solved, showing how reasoning will be used                                                 
+
* [[File:Cv04ers2dl2.pdf‎]]
                                                                                     
+
* [[File:Cv05lp.pdf‎]]
'''Phases 2 and 3:'''
+
* [[File:Cv06defl.pdf‎]]
* specification of the formalism that will be used
+
* [[File:Cv08as.pdf‎]]
* list of symbols with intuitive description of their meanings (i.e., what values they represent in the scenario)
+
* [[File:Cv09nn.pdf]]
* formalization of the knowledge base: facts, rules, logic programs, etc. that will be needed to solve the problem, achieve the intelligent behavior described in the scenario
+
* [[File:Cv10pi.pdf]]
* problem solution: formal solution of the problem using reasoning with your knowledge base in the selected formalism
+
* [[File:Cv11ab.pdf]]
  
Hints:
+
There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]].
* link the described formal knowledge base and solution with the respective part of the scenario in where this is informally described
+
* the formalization can address a suitable part of the informal scenario only, and the informal scenario can be modified if needed, but this must be explained in your document
+
* for Phase 2 the main part of the score is for formalization of the knowledge base, while in Phase 3 it is for the formal solution of the problem
+
 
-->
 
-->

Latest revision as of 10:15, 18 February 2014

This page is under revision. Stay tuned...