Course KRR: Rozdiel medzi revíziami

Verzia zo dňa a času 16:52, 19. február 2013

Knowledge Representation and Reasoning (course homepage)

Lectures: Martin Baláž, Martin Homola
Labs: Alexander Šimko

Evaluation: (your current points, link TBA)

Obsah

1 Course outline
2 Literature
3 Evaluation
4 Project
5 Lecture Slides
6 Labs

Course outline

From databases to KR&R
From deduction to hypothetical reasoning
Preferences
Knowledge revision
Induction
Abduction

Literature

Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.

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

TBA

Lecture Slides

TBA

Labs

TBA

@@ Riadok 2: / Riadok 2: @@
 *Lectures: Martin Baláž, Martin Homola
-*Labs: Jozef Frtús
+*Labs: Alexander Šimko
-*Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/
+*Evaluation: (your current points, link TBA) <!-- [https://docs.google.com/spreadsheet/ccc?key=0AnoXnHbSHpPudHFJemVVWWpXaWw1bmN4VExxVjZtNWc Google Doc] -->
-*Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0AnoXnHbSHpPudHFJemVVWWpXaWw1bmN4VExxVjZtNWc Google Doc]
+== Course outline ==
+* From databases to KR&amp;R
+* From deduction to hypothetical reasoning
+* Preferences
+* Knowledge revision
+* Induction
+* Abduction
 ==Literature==
@@ Riadok 15: / Riadok 23: @@
 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:
-* 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 ==
-The task of the project is to propose and describe a scenario for an application
+TBA
-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 ===
+== Lecture Slides ==
-'''Phase 1 Scenario:'''
+TBA
-* 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:
+== Labs ==
-* 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
+TBA
 <!-- Archived 2011/2012