Foundations of Knowledge Representation
Foundations of Knowledge Representation
Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2021
Synopsis
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.
Registration
It is mandatory to register online via Selma (course K1107-MA0057) to both lectures (V) and excercise sessions (Ü) in case you want to take an exam.
Links
Both lectures and tutorials will be done as online live sessions.
The lectures will be done via Zoom, to be entered via the following link:
https://tu-dresden.zoom.us/j/87452937587?pwd=T3VPMzhPWkQ0VExzSnIwdnFVZWo4QT09
To access the exercise session in BigBlueButton, please use the following link: https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
Exam
To take an exam in the course, you must:
- Register for the exam
- CS students register via the examination office
- CMS students register via Selma
- CL students register via the CMS examination office
- Apply for a date/time slot
- contact Ms. Ramona Behling asking for a slot
Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS5, October 11, 2021 in Video conference | File |
| Lecture | Propositional and First-Order Logic | DS5, October 18, 2021 in Video conference | File 1, File 2 |
| Lecture | Horn Logics and Datalog | DS5, October 25, 2021 in Video conference | File 1, File 2 |
| Exercise | Propositional Logic and First-Order Logic | DS6, October 25, 2021 in Video conference | File |
| Lecture | Description Logic - Syntax and Semantics I | DS5, November 1, 2021 in Video conference | File 1, File 2 |
| Exercise | Horn Logics and Datalog | DS6, November 1, 2021 in Video conference | File |
| Lecture | Description Logics - Syntax and Semantics II | DS5, November 8, 2021 in Video conference | File 1, File 2 |
| Exercise | Description Logic - Syntax and Semantics I | DS6, November 8, 2021 in Video conference | File |
| Lecture | Description Logic - Reasoning with Data | DS5, November 15, 2021 in Video conference | File 1, File 2 |
| Exercise | Description Logic - Syntax and Semantics II | DS6, November 15, 2021 in Video conference | File |
| Lecture | Nonmonotonic Reasoning I | DS5, November 22, 2021 in Video conference | File 1, File 2 |
| Exercise | Description Logic - Reasoning with Data | DS6, November 22, 2021 in Video conference | File |
| Lecture | Nonmonotonic Reasoning II | DS5, November 29, 2021 in Video conference | File 1, File 2 |
| Exercise | Nonmonotonic Reasoning I | DS6, November 29, 2021 in Video conference | File |
| Lecture | Inconsistency Handling | DS5, December 6, 2021 in Video conference | File 1, File 2 |
| Exercise | Nonmonotonic Reasoning II | DS6, December 6, 2021 in Video conference | File |
| Lecture | Argumentation | DS5, December 13, 2021 in Video conference | File 1, File 2 |
| Exercise | Inconsistency Handling | DS6, December 13, 2021 in Video conference | File |
| Exercise | Argumentation | DS6, December 20, 2021 in Video conference | File |
| Lecture | Uncertainty | DS5, January 10, 2022 in Video conference | File 1, File 2 |
| Lecture | Approximation Fixpoint Theory | DS5, January 17, 2022 in Video conference | File 1, File 2 |
| Exercise | Uncertainty | DS6, January 17, 2022 in Video conference | File |
| Lecture | Recap | DS5, January 24, 2022 in Video conference | |
| Exercise | Approximation Fixpoint Theory | DS6, January 24, 2022 in Video conference | File |
Calendar
