Verzia zo dňa a času 16:58, 4. marec 2013 (zobraziť zdroj) Simko (Diskusia | príspevky) ← Predchádzajúca úprava		Verzia zo dňa a času 13:51, 5. marec 2013 (zobraziť zdroj) Simko (Diskusia | príspevky) Ďalšia úprava →
Riadok 52:		Riadok 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]]

---

Verzia zo dňa a času 13:51, 5. marec 2013

Knowledge Representation and Reasoning (course homepage)

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

• Evaluation: Google Doc

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

• Súbor:KRR2013-Lecture-1-intro.pdf
• Súbor:KRR2013-Lecture-2-DL.pdf
• Súbor:KRR2013-Lecture-3-ER-vs-DL.pdf

Labs

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