Knowledge Representation and Reasoning (course homepage)
- Lectures: Martin Baláž, Martin Homola
- Labs: Jozef Frtús
- Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/
Literature
Evaluation
Evaluation points:
- Midterm: 15
- Exam: 40
- Project: 30
- Labs: 10
- TOTAL: 95
- BONUS: 10
Evaluation scale:
- 84 and more: A
- 75 and more: B
- 66 and more: C
- 57 and more: D
- 48 and more: E
Project
The task of the project is to propose and describe a scenario for an application 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: 25 May
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: 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