Seminar Logic-Based Knowledge Representation

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

Seminar Logic-Based Knowledge Representation

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2024

Dozent

Umfang (SWS)

  • 0/2/0

Module

Leistungskontrolle

  • Hausarbeit
  • Referat



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.

Seminar Plan

The seminar will take place on Mondays 16:40 – 18:10 in room APB E005, on the dates indicated in the schedule.

The content of the seminar 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

2. Introduction to Modal Logics - Proof Theory

3. Temporal Reasoning

4. Epistemic Logics


Nonmonotonic Reasoning

5. Introduction to Nonmonotonic Reasoning

6. Default Logic

7. Autoepistemic Logic


Reasoning under Uncertainty

8. Introduction to Reasoning under Uncertainty

9. Dempster Shafer Theory

Examination

Students are expected to (1) give a talk on at least one of the topics listed above and (2) to write a term paper in the lecture-free period by the end of the semester. The exact requirements for the talks and term papers will be discussed in the seminar.

Veranstaltungskalender abonnieren (icalendar)

Seminar Introduction DS6, 8. April 2024 in APB E005 Datei
Seminar Logic Recap DS6, 15. April 2024 in APB E005 Datei


Kalender