Seminar Logic-Based Knowledge Representation
Seminar Logic-Based Knowledge Representation
Course with SWS 0/2/0 (lecture/exercise/practical) in SS 2022
Lecturer
SWS
- 0/2/0
Modules
Examination method
- Term paper
- Seminar presentation
Course Description
The seminar introduces 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) Non-monotonic Reasoning, and
3) Algorithms and Systems.
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 those who are unfamiliar with these topics.
Prerequisites
Participants are expected to be familiar with propositional and first-order logic.
If possible, please register via Selma course “K1107-MA0027S Logic-Based Knowledge Representation (S)”.
Course Plan
The seminar will now proceed as indicated in the “Dates and Materials” section.
Please send a draft of your slides at least one week (preferably two weeks) before the date of your talk to Hannes Straß to get feedback.
All participants are expected to read the respective text before each presentation in order to be acquainted with the topic and to be able to actively contribute to a lively discussion. In case you cannot find a text, send an e-mail.
Location
The seminar will take place online via Zoom.
Course Paper
Send your research question (topic proposal) to Hannes Straß by 15th August, 2022.
Once your topic is approved, you may commence writing your paper. Hand it in (again by e-mail) until 19th September, 2022.- Rosja Mastop: Modal Logic for Artificial Intelligence (2011)
- Frank van Harmelen, Vladimir Lifschitz, Bruce Porter (Eds.): Handbook of Knowledge Representation (2008)
- Ernest Davis, Leora Morgenstern: Epistemic Logic and its Applications. Tutorial Notes (2009)
- Grigoris Antoniou: A Tutorial on Default Logics (1999)
- Robert Moore: Semantical Considerations on Nonmonotonic Logic (1985)
- Raymond Reiter: Nonmonotonic Reasoning (1987)
- Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Answer Set Solving in Practice (2012)
Subscribe to events of this course (icalendar)
| Lecture | Introduction | DS5, April 4, 2022 in Video conference | File |
| Lecture | Logic Recap | DS5, April 11, 2022 in Video conference | File |
| Seminar | Modal Logics – Semantics | DS5, April 25, 2022 in Video conference | |
| Seminar | Modal Logic – Proof Theory | DS5, May 2, 2022 in Video conference | |
| Seminar | Temporal Reasoning | DS5, May 9, 2022 in Video conference | |
| Seminar | Epistemic Logics | DS5, May 16, 2022 in Video conference | |
| Seminar | NMR Introduction | DS5, May 23, 2022 in Video conference | |
| No session | Default Logic | DS5, May 30, 2022 in Video conference | |
| No session | Autoepistemic Logic (cancelled) | DS5, June 13, 2022 in Video conference | |
| No session | NMR Recap | DS5, June 20, 2022 in Video conference | |
| Seminar | Theorem Proving | DS5, June 27, 2022 in Video conference | |
| Seminar | Autoepistemic Logic | DS5, July 4, 2022 in Video conference | |
| Lecture | Consultation Session | DS5, July 11, 2022 in Video conference | File |
| Seminar | Answer Set Solving | DS5, July 11, 2022 in Video conference |
Calendar
