(Archived year 2011/2012)
Riadok 62: Riadok 62:
 
* 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
 
* 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
 
* 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
 +
 +
 +
<!-- Archived 2011/2012
 +
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/
 +
*Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0AnoXnHbSHpPudHFJemVVWWpXaWw1bmN4VExxVjZtNWc Google Doc]
 +
 +
==Literature==
 +
 +
# [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]
 +
 +
== 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: <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 ===
 +
 +
'''Phase 1 Scenario:'''
 +
* 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:
 +
* 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
 +
-->

Verzia zo dňa a času 16:40, 19. február 2013

Knowledge Representation and Reasoning (course homepage)

  • Lectures: Martin Baláž, Martin Homola
  • Labs: Jozef Frtús

Literature

  1. Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.

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 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: [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

Phase 1 Scenario:

  • 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:

  • 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