Line 52: Line 52:
 
* [[File:Cv02dl.pdf]]
 
* [[File:Cv02dl.pdf]]
 
* [[File:Cv03ers2dl.pdf]]
 
* [[File:Cv03ers2dl.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]]
  
  

Revision as of 13:51, 5 March 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

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 Súbor:R02riesenie.pdf