Seminar: Knowledge Representation
Seminar: Knowledge Representation
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2021
Dozent
Umfang (SWS)
- 0/2/0
Module
Leistungskontrolle
- Hausarbeit
- Referat
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=029090e4Veranstaltungskalender abonnieren (icalendar)
| Seminar | Introductory Session | DS3, 12. April 2021 in Videokonferenz | Datei |
| Seminar | Revision: Propositional and First-Order Logic | DS3, 19. April 2021 in Videokonferenz | |
| Seminar | Introduction to Modal Logics - Semantics | DS3, 26. April 2021 in Videokonferenz | |
| Seminar | Introduction to Modal Logics - Proof Theory | DS3, 3. Mai 2021 in Videokonferenz | |
| Seminar | Temporal Logics | DS3, 10. Mai 2021 in Videokonferenz | |
| Entfällt | Epistemic Logic - canceled | DS3, 17. Mai 2021 in N.a. | |
| Seminar | Introduction to Nonmonotonic Reasoning | DS3, 31. Mai 2021 in Videokonferenz | |
| Seminar | Default Logic | DS3, 7. Juni 2021 in Videokonferenz | |
| Seminar | Autoepistemic Logic | DS3, 14. Juni 2021 in Videokonferenz | |
| Seminar | Recap and Critizism | DS3, 21. Juni 2021 in Videokonferenz | |
| Seminar | Introduction to Reasoning under Uncertainty and Probability Theory | DS3, 28. Juni 2021 in Videokonferenz | |
| Seminar | Dempster Shafer Theory | DS3, 5. Juli 2021 in Videokonferenz | |
| Entfällt | Paradoxes in Dempster Shafer Theory | DS3, 12. Juli 2021 in Virtual | |
| Seminar | Consultation Session for Term Papers | DS3, 19. Juli 2021 in Videokonferenz | Datei |
Kalender
