- Nazwa przedmiotu:
- Knowledge Representation and Reasoning
- Koordynator przedmiotu:
- Dr Anna Maria Radzikowska
- Status przedmiotu:
- Obowiązkowy
- Poziom kształcenia:
- Studia II stopnia
- Program:
- Computer Science and Information Systems
- Grupa przedmiotów:
- Obligatory
- Kod przedmiotu:
- 1120-INSZI-MSA-0012
- Semestr nominalny:
- 1 / rok ak. 2023/2024
- Liczba punktów ECTS:
- 5
- Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
- .
- Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
- .
- Język prowadzenia zajęć:
- angielski
- Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
- .
- Formy zajęć i ich wymiar w semestrze:
-
- Wykład30h
- Ćwiczenia0h
- Laboratorium30h
- Projekt0h
- Lekcje komputerowe0h
- Wymagania wstępne:
- Foundations to artificial intelligence, Mathematical logic, Programming
- Limit liczby studentów:
- Bez limitu
- Cel przedmiotu:
- The aim of the course is to provide students with principles of knowledge representation and reasoning methods in Artificial Intelligence. Students are acquainted with principles of classical logic and basic computational methods of reasoning in this system. They are made familiar with non–classical logics useful for representing and reasoning about knowledge, time, events and actions. Formal models of dynamic systems based on action and query languages are presented. Methods of default reasoning are also presented. Moreover, the course provides students with foundations to rough sets theory and its applications. Introduction to fuzzy logics completes the course.
- Treści kształcenia:
- Fundamentals of classical logic. Automated theorem proving in classical logic. Non-classical logics in Artificial Intelligence: modal logics and epistemic logics, agent-oriented logics. Representation and reasoning about actions and time, models of dynamic systems, action languages and query languages. Reasoning methods in multi-agent systems. Non-monotonicity, default and abductive reasoning. Rough sets and their applications.
- Metody oceny:
- Programming task: theoretical part (10 points), implementation (10 points). Each part has to be positively evaluated: at least 11 points for the programming task and at least 16 points for the examination.
Examination consists of the written part and the oral part. Written exam is evaluated for 20 points. It has the form of a multi-choice test (evaluated for max. 10 points) and one open problem (evaluated for max. 10 points).
In order to take the oral exam a student has to receive at least 10 points from the written part. Students who obtain at least 18 points from the written part need not take the oral examination.
- Egzamin:
- tak
- Literatura:
- 1. R. Brachman, H. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004.
2. R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning about Knowledge, The MIT Press, 1995.
3. E. Sandewall, Feature and Fluents: A Systematic Approach to the Representation of Knowledge of Dynamical Systems, Oxford University Press, 1994.
4. E. Mueller, Commonsense reasoning, Morgan Kaufmann Publishers, 2005.
- Witryna www przedmiotu:
- brak
- Uwagi:
- .
Efekty uczenia się
Profil ogólnoakademicki - wiedza
- Charakterystyka W01
- Knows basic logical systems applied in Artificial Intelligence and principal methods in Knowledge Representation and AI systems
Weryfikacja: exam (oral and written)
Powiązane charakterystyki kierunkowe:
I2AI_W03, I2AI_W04
Powiązane charakterystyki obszarowe:
- Charakterystyka W02
- Knows methods in advanced algorithmics, data structures and modern techniques of constructing algorithms
Weryfikacja: exam (oral and written)
Powiązane charakterystyki kierunkowe:
I2AI_W06, I2_W02
Powiązane charakterystyki obszarowe:
- Charakterystyka W03
- Is expertised in graph theory
Weryfikacja: exam (oral and written)
Powiązane charakterystyki kierunkowe:
I2AI_W07
Powiązane charakterystyki obszarowe:
Profil ogólnoakademicki - umiejętności
- Charakterystyka U01
- Can apply his/her knowledge in constructing expert systems and knowledge bases
Weryfikacja: exam (oral and written), graded tasks
Powiązane charakterystyki kierunkowe:
I2AI_U06
Powiązane charakterystyki obszarowe:
- Charakterystyka U02
- Can construct effective interface languages for advanced AI systems (knowledge bases, MAS)
Weryfikacja: exam (oral and written), graded tasks
Powiązane charakterystyki kierunkowe:
I2AI_U09
Powiązane charakterystyki obszarowe:
- Charakterystyka U03
- Is able to apply Resolution Principle and other automated deduction methods. He/she is capable of modeling of graph heuristic searching (OR, AND/OR methods)
Weryfikacja: exam (oral and written), graded tasks
Powiązane charakterystyki kierunkowe:
I2AI_U04, I2AI_U05
Powiązane charakterystyki obszarowe:
- Charakterystyka U04
- Is able to work independently and in a team
Weryfikacja: graded tasks
Powiązane charakterystyki kierunkowe:
I2_U11
Powiązane charakterystyki obszarowe:
- Charakterystyka U05
- Is able to define of project implementation phases, as well as to manage complex IT project in practice
Weryfikacja: graded tasks
Powiązane charakterystyki kierunkowe:
I2_U13
Powiązane charakterystyki obszarowe:
Profil ogólnoakademicki - kompetencje społeczne
- Charakterystyka K01
- Is fully aware of his/her role and responsibility in collaborative tasks
Weryfikacja: graded tasks
Powiązane charakterystyki kierunkowe:
I2_K05
Powiązane charakterystyki obszarowe: