|
|
| Riadok 54: |
Riadok 54: |
| | | | |
| | 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]] | | 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]] |
| − |
| |
| − |
| |
| − |
| |
| − |
| |
| − |
| |
| − |
| |
| − |
| |
| − |
| |
| − |
| |
| − | <!-- 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
| |
| − | -->
| |
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
