Seminar: Knowledge Representation

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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 17th of May.

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=131140&p=df54cfa9

Without ZIH-Login: https://selfservice.zih.tu-dresden.de/link.php?m=131140&p=c093377f

Veranstaltungskalender 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 Virtual
Seminar Dempster Shafer Theory DS3, 5. Juli 2021 in Virtual
Seminar Paradoxes in Dempster Shafer Theory DS3, 12. Juli 2021 in Virtual
Seminar Consultation Session for Term Papers DS3, 19. Juli 2021 in Virtual


Kalender