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 seems to be an issue related to the introductory text on modal logic. If you have trouble accessing it, please contact me via email.

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 expected content of the lecture will be as follows:


Modal Logics

1. Introduction to Modal Logics

2. Temporal Logics

3. Epistemic Logics


Nonmonotonic Reasoning

4. Introduction to Nonmonotonic Reasoning

5. Default Logic

6. Autoepistemic Logic

7. Default Logic = Autoepistemic Logic?


Reasoning under Uncertainty

8. Introduction to Reasoning under Uncertainty and Probability Theory

9. Dempster Shafer Theory

10. 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=104399&p=1c67fa55

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

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 Virtual
Seminar Introduction to Modal Logics - Semantics DS3, 26. April 2021 in Virtual
Seminar Introduction to Modal Logics - Proof Theory DS3, 3. Mai 2021 in Virtual
Seminar Temporal Logics DS3, 10. Mai 2021 in Virtual
Seminar Epistemic Logic DS3, 17. Mai 2021 in Virtual
Seminar Introduction to Nonmonotonic Reasoning DS3, 31. Mai 2021 in Virtual
Seminar Default Logic DS3, 7. Juni 2021 in Virtual
Seminar Autoepistemic Logic DS3, 14. Juni 2021 in Virtual
Seminar Default Logic = Autoepistemic Logic? DS3, 21. Juni 2021 in Virtual
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