Seminar: Knowledge Representation

From International Center for Computational Logic

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=029090e4

Subscribe 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