(Archived year 2011/2012)
(Basic structure, course outline, scales and grading ...)
Line 2: Line 2:
  
 
*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: (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==
 
==Literature==
Line 15: Line 23:
 
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
+
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
 
<!-- Archived 2011/2012

Revision as of 17:52, 19 February 2013

Knowledge Representation and Reasoning (course homepage)

  • Lectures: Martin Baláž, Martin Homola
  • Labs: Alexander Šimko
  • Evaluation: (your current points, link TBA)

Course outline

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

Literature

  1. Š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