Verzia zo dňa a času 15:59, 29. marec 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: Google Doc

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

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