(Added first three lectures)
Riadok 49: Riadok 49:
 
== Labs ==
 
== Labs ==
  
* [[File:Cv01dopyty.pdf|test]]
+
* [[File:Cv01dopyty.pdf]]
* [[File:Cv02dl.pdf|test]]
+
* [[File:Cv02dl.pdf]]
 
+
* [[File:Cv03ers2dl.pdf]]
  
  

Verzia zo dňa a času 16:58, 4. marec 2013

Knowledge Representation and Reasoning (course homepage)

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

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

Labs