Seminar Logic-Based Knowledge Representation
Seminar Logic-Based Knowledge Representation
Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2023
Lecturer
SWS
- 0/2/0
Modules
Examination method
- Term paper
- Seminar presentation
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
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.Subscribe to events of this course (icalendar)
| Seminar | Introduction | DS5, April 17, 2023 in APB E005 | File |
| Seminar | Logic Recap | DS5, April 24, 2023 in APB E005 | File |
| No session | Labor Day | DS5, May 1, 2023 in APB E005 | |
| Seminar | Introduction to Modal Logics - Semantics (Jonathan) | DS5, May 8, 2023 in APB E005 | |
| No session | Introduction to Modal Logics - Proof Theory (Chi Yeung) | DS5, May 15, 2023 in APB E005 | |
| Seminar | Temporal Reasoning (Lea) | DS5, May 22, 2023 in APB E005 | |
| No session | Pentecost | DS5, May 29, 2023 in APB E005 | |
| Seminar | Introduction to Nonmonotonic Reasoning (Paramita) | DS5, June 5, 2023 in APB E005 | |
| Seminar | Introduction to Reasoning under Uncertainty (Pratishta) | DS5, June 19, 2023 in APB E005 | |
| Seminar | Default Logic (Rohit) | DS5, July 3, 2023 in APB E005 |
Calendar
