Seminar: Knowledge Representation
Seminar: Knowledge Representation
Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2021
Lecturer
SWS
- 0/2/0
Modules
Examination method
- Term paper
- Seminar presentation
Important Information
There won't be a session on the 12th of July.
Course Description
This seminar intends to introduce to selected topics of active research areas in the field of knowledge representation by analyzing introductory literature as well as research papers. In particular, we will focus on three topics in this course: 1) Modal Logics, 2) Nonmonotonic Reasoning, and 3) Reasoning under Uncertainty. Since each topic will have an introductory session, this course is not only recommended to students who want to deepen their knowledge on knowledge representation, but also to students who are unfamiliar with these topics.
Prerequisites
Students are expected to be familiar with propositional and first-order logic.
Lecture Plan
The content of the lecture will be as follows (also it is indicated which topic has already been chosen by a student; this list will be updated continuously):
Modal Logics
1. Introduction to Modal Logics - Semantics (taken)
2. Introduction to Modal Logics - Proof Theory (taken)
3. Temporal Reasoning (taken)
4. Epistemic Logics (canceled)
Nonmonotonic Reasoning
5. Introduction to Nonmonotonic Reasoning (taken)
6. Default Logic (taken)
7. Autoepistemic Logic (taken)
8. (New) Recap and Critizism
Reasoning under Uncertainty
9. Introduction to Reasoning under Uncertainty (taken)
10. Dempster Shafer Theory (taken)
11. Paradoxes in Dempster Shafer Theory
Location
The seminar will be hold via BigBlueButton in form of a weekly live session. Please use one of the links below:
With ZIH-Login: https://selfservice.zih.tu-dresden.de/l/link.php?m=139547&p=ee395359
Without ZIH-Login: https://selfservice.zih.tu-dresden.de/link.php?m=139547&p=029090e4Subscribe to events of this course (icalendar)
| Seminar | Introductory Session | DS3, April 12, 2021 in Video conference | File |
| Seminar | Revision: Propositional and First-Order Logic | DS3, April 19, 2021 in Video conference | |
| Seminar | Introduction to Modal Logics - Semantics | DS3, April 26, 2021 in Video conference | |
| Seminar | Introduction to Modal Logics - Proof Theory | DS3, May 3, 2021 in Video conference | |
| Seminar | Temporal Logics | DS3, May 10, 2021 in Video conference | |
| No session | Epistemic Logic - canceled | DS3, May 17, 2021 in N.a. | |
| Seminar | Introduction to Nonmonotonic Reasoning | DS3, May 31, 2021 in Video conference | |
| Seminar | Default Logic | DS3, June 7, 2021 in Video conference | |
| Seminar | Autoepistemic Logic | DS3, June 14, 2021 in Video conference | |
| Seminar | Recap and Critizism | DS3, June 21, 2021 in Video conference | |
| Seminar | Introduction to Reasoning under Uncertainty and Probability Theory | DS3, June 28, 2021 in Video conference | |
| Seminar | Dempster Shafer Theory | DS3, July 5, 2021 in Video conference | |
| No session | Paradoxes in Dempster Shafer Theory | DS3, July 12, 2021 in Virtual | |
| Seminar | Consultation Session for Term Papers | DS3, July 19, 2021 in Video conference | File |
Calendar
