Foundations of Knowledge Representation
From International Center for Computational Logic
Foundations of Knowledge Representation
Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2020
Lecturer
Tutor
SWS
- 2/2/0
Modules
Examination method
- Oral exam
Exams
- All examinations will be oral remote exams.
- The exams will take place on the 22nd of February (Monday).
- In a first step, students have to register for the exam by following the usual procedure for their study program and module. For students in the CMS program, it is sufficient to register via SELMA.
- In a second step, once the examination date is known, students must contact the CL secretary (ramona.behling@tu-dresden.de) to ask for a time slot and, if applicable, submit the registration forms they obtained from the examination office. CMS students do not need to submit registration forms.
- The duration of exams for KR will be 20 minutes, unless another length is required and clearly stated in the email to the KBS secretary.
- Exams are "closed book" (i.e., additional materials and lecture notes are not permitted).
- Registration with the secretary must happen happen until 15th of February the latest.
Lecture Content
In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.
Both lectures and tutorials will be done as online life sessions.
The lectures will be done via Zoom, to be entered via the following link:
https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
To access the exercise session in BigBlueButton, please use the following link:
With ZIH-login: https://selfservice.zih.tu-dresden.de/l/link.php?m=77311&p=b809967b
Without ZIH-Login: https://selfservice.zih.tu-dresden.de/link.php?m=77311&p=b4a90bf2Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS5, October 26, 2020 in Video conference | File |
| Exercise | Introductory Meeting | DS1, October 29, 2020 in BigBlueButton | |
| Lecture | Propositional Logic and First-Order Logic | DS5, November 2, 2020 in Video conference | File |
| Lecture | Horn Logics and Datalog | DS5, November 9, 2020 in Video conference | File |
| Exercise | Propositional Logic and First-Order Logic | DS1, November 12, 2020 in BigBlueButton | File |
| Lecture | Description Logic - Syntax and Semantics I | DS5, November 16, 2020 in Video conference | File |
| Exercise | Horn Logics and Datalog | DS1, November 19, 2020 in BigBlueButton | File |
| Lecture | Description Logic - Syntax and Semantics II | DS5, November 23, 2020 in Video conference | File |
| Exercise | Description Logic - Syntax and Semantics I | DS1, November 26, 2020 in BigBlueButton | File |
| Lecture | Description Logic - Reasoning with Data | DS5, November 30, 2020 in Video conference | File |
| Exercise | Description Logic - Syntax and Semantics II | DS1, December 3, 2020 in BigBlueButton | File |
| Lecture | Nonmonotonic Reasoning I | DS5, December 7, 2020 in Video conference | File |
| Exercise | Description Logic - Reasoning with Data | DS1, December 10, 2020 in BigBlueButton | File |
| Lecture | Nonmonotonic Reasoning II | DS5, December 14, 2020 in Video conference | File |
| Exercise | Nonmonotonic Reasoning I | DS1, December 17, 2020 in BigBlueButton | File |
| Lecture | Inconsistency Handling | DS5, January 4, 2021 in Video conference | File |
| Exercise | Nonmonotonic Reasoning II | DS1, January 7, 2021 in BigBlueButton | File |
| Lecture | Argumentation | DS5, January 11, 2021 in Video conference | File |
| Exercise | Inconsistency Handling | DS1, January 14, 2021 in BigBlueButton | File |
| Lecture | Uncertainty | DS5, January 18, 2021 in Video conference | File |
| Exercise | Argumentation | DS1, January 21, 2021 in BigBlueButton | File |
| Lecture | Recap | DS5, January 25, 2021 in Video conference | File |
| Exercise | Uncertainty | DS1, January 28, 2021 in BigBlueButton | File |
Calendar
