|
|
| (30 medziľahlých úprav od 3 ďalších používateľov nie je zobrazených) |
| Riadok 1: |
Riadok 1: |
| | + | '''This page is under revision. Stay tuned...''' |
| | + | <!-- |
| | Knowledge Representation and Reasoning (course homepage) | | Knowledge Representation and Reasoning (course homepage) |
| | | | |
| | *Lectures: Martin Baláž, Martin Homola | | *Lectures: Martin Baláž, Martin Homola |
| − | *Labs: Jozef Frtús | + | *Labs: Alexander Šimko |
| | | | |
| − | *Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/
| + | *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&usp=sharing Google Doc] |
| − | *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0AnoXnHbSHpPudHFJemVVWWpXaWw1bmN4VExxVjZtNWc Google Doc] | + | |
| | | | |
| − | ==Literature== | + | == Course outline == |
| | | | |
| − | # [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]
| + | * From databases to KR&R |
| | + | * From deduction to hypothetical reasoning |
| | + | * Preferences |
| | + | * Knowledge revision |
| | + | * Induction |
| | + | * Abduction |
| | | | |
| − | == Evaluation == | + | == Prerequisites == |
| | | | |
| − | Evaluation points:
| + | It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below. |
| | | | |
| − | *Midterm: 15
| + | ==Literature== |
| − | *Exam: 40
| + | |
| − | *Project: 30
| + | |
| − | *Labs: 10
| + | |
| − | *TOTAL: 95
| + | |
| − | *BONUS: 10
| + | |
| | | | |
| − | Evaluation scale:
| + | Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject. |
| | | | |
| − | * 84 and more: A
| + | # Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003. |
| − | * 75 and more: B
| + | # Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998. |
| − | * 66 and more: C
| + | # Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999. |
| − | * 57 and more: D
| + | # Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993. |
| − | * 48 and more: E
| + | # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000. |
| | | | |
| − | == 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
| |
| − |
| |
| − |
| |
| − | <!-- 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 == |
| Riadok 81: |
Riadok 36: |
| | Evaluation points: | | Evaluation points: |
| | | | |
| − | *Midterm: 15 | + | *Midterm: 10 |
| − | *Exam: 40 | + | *Exam: 30 (min 10) |
| − | *Project: 30 | + | *Project: 25 (min 10) |
| − | *Labs: 10 | + | *Labs: 10 (min 3) |
| − | *TOTAL: 95 | + | *TOTAL: 75 |
| − | *BONUS: 10
| + | |
| | | | |
| | Evaluation scale: | | Evaluation scale: |
| | | | |
| − | * 84 and more: A | + | * 67 and more: A |
| − | * 75 and more: B | + | * 59 and more: B |
| − | * 66 and more: C | + | * 52 and more: C |
| − | * 57 and more: D | + | * 45 and more: D |
| − | * 48 and more: E | + | * 39 and more: E |
| | | | |
| | == Project == | | == Project == |
| | | | |
| − | The task of the project is to propose and describe a scenario for an application | + | The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki. |
| − | 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
| + | == Lecture Slides == |
| | | | |
| − | 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.
| + | * [[File:KRR2013-Lecture-1-intro.pdf]] |
| | + | * [[File:KRR2013-Lecture-2-DL.pdf]] |
| | + | * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]] |
| | + | * [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]] |
| | + | * [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]] |
| | + | * [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]] |
| | + | * [[File:KRR2013-Lecture-7-Reasoning-with-Incomplete-Knowledge.pdf]] |
| | + | * [[File:KRR2013-Lecture-8-Reasoning-with-Inconsistent-Knowledge.pdf]] |
| | + | * [[File:KRR2013-Lecture-9-NMR-characterization.pdf]] |
| | + | * [[File:KRR2013-Lecture-10-Induction.pdf]] |
| | + | * [[File:KRR2013-Lecture-11-Abduction.pdf]] |
| | | | |
| − | An example of a successful project by Michal Antonič: http://ii.fmph.uniba.sk/~sefranek/kri/antonic_rzai_projekt.pdf
| |
| | | | |
| − | === Project Evaluation === | + | == Labs == |
| | | | |
| − | '''Phase 1 Scenario:'''
| + | * [[File:Cv01dopyty.pdf]] |
| − | * description of an intelligent application/device together with the situation (background) in which it will be used | + | * [[File:Cv02dl.pdf]] |
| − | * purpose of the application device: what problem it will solve, or what task it will fulfill | + | * [[File:Cv03ers2dl.pdf]] |
| − | * informal example of how the problem/task will be solved, showing how reasoning will be used | + | * [[File:Cv04ers2dl2.pdf]] |
| − |
| + | * [[File:Cv05lp.pdf]] |
| − | '''Phases 2 and 3:'''
| + | * [[File:Cv06defl.pdf]] |
| − | * specification of the formalism that will be used | + | * [[File:Cv08as.pdf]] |
| − | * list of symbols with intuitive description of their meanings (i.e., what values they represent in the scenario) | + | * [[File:Cv09nn.pdf]] |
| − | * 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 | + | * [[File:Cv10pi.pdf]] |
| − | * problem solution: formal solution of the problem using reasoning with your knowledge base in the selected formalism | + | * [[File:Cv11ab.pdf]] |
| | | | |
| − | Hints:
| + | There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]]. |
| − | * 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
| + | |
| | --> | | --> |
