Aktuelle Version vom 23. Januar 2023, 19:08 Uhr

Foundations of Knowledge Representation

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2022

Dozent

Hannes Straß

Tutor

Jonas Karge

Umfang (SWS)

2/2/0

Module

Leistungskontrolle

Mündliche Prüfung

Information
Termine und Unterlagen

Synopsis

In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, such as dealing with uncertain and inconsistent knowledge.

Registration

It is mandatory (for CMS and CL students) to register online via Selma (course K1107-MA0057V) to both lectures (V) and excercise sessions (Ü) in case you want to take an exam.

Schedule and Location

The weekly lecture sessions will take place on Mondays DS5 (14.50–16.20) in APB E005.
The weekly exercise session will take place on Mondays DS6 (16.40–18.10) in APB E005.
Important: Stay informed about current CoViD-19 regulations of TU Dresden.

Exam

To take an exam in the course, you must:

Register for the exam
- CS students register via the examination office
- CMS students register via Selma
- CL students register via the CMS examination office
Apply for a date/time slot
- contact Ms. Ramona Behling asking for a slot

Miscellaneous

The exercise sessions are supported by an online whiteboard that includes definitions relevant to the exercise problems as well as solutions to exercises not covered in the exercise sessions.

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS5, 10. Oktober 2022 in APB E005	Datei
Vorlesung	Logics for Knowledge Representation	DS5, 17. Oktober 2022 in APB E005	Datei
Vorlesung	Horn Logics and Datalog	DS5, 24. Oktober 2022 in APB E005	Datei
Übung	Logics for Knowledge Representation	DS6, 24. Oktober 2022 in APB E005	Datei
Entfällt	Public holiday	DS5, 31. Oktober 2022 in APB E005
Vorlesung	Description Logics – Syntax and Semantics I	DS5, 7. November 2022 in APB E005	Datei
Übung	Horn Logics and Datalog	DS6, 7. November 2022 in APB E005	Datei
Vorlesung	Description Logics – Syntax and Semantics II	DS5, 14. November 2022 in APB E005	Datei
Übung	Description Logics – Syntax and Semantics I	DS6, 14. November 2022 in APB E005	Datei
Vorlesung	Description Logics – Reasoning with Data	DS5, 21. November 2022 in APB E005	Datei
Übung	Description Logics – Syntax and Semantics II	DS6, 21. November 2022 in APB E005	Datei
Vorlesung	Nonmonotonic Reasoning I	DS5, 28. November 2022 in APB E005	Datei
Übung	Description Logics – Reasoning with Data	DS6, 28. November 2022 in APB E005	Datei
Vorlesung	Nonmonotonic Reasoning II	DS5, 5. Dezember 2022 in APB E005	Datei
Übung	Nonmonotonic Reasoning I	DS6, 5. Dezember 2022 in APB E005	Datei
Vorlesung	Inconsistency Handling	DS5, 12. Dezember 2022 in APB E005	Datei
Übung	Nonmonotonic Reasoning II	DS6, 12. Dezember 2022 in APB E005	Datei
Entfällt	Happy holidays!	DS5, 19. Dezember 2022 in APB E005
Übung	Inconsistency Handling	DS6, 19. Dezember 2022 in APB E005	Datei
Vorlesung	Argumentation	DS5, 9. Januar 2023 in APB E005	Datei
Vorlesung	Uncertainty	DS5, 16. Januar 2023 in APB E005	Datei
Übung	Argumentation	DS6, 16. Januar 2023 in APB E005	Datei
Vorlesung	Approximation Fixpoint Theory	DS5, 23. Januar 2023 in APB E005	Datei
Übung	Uncertainty	DS6, 23. Januar 2023 in APB E005	Datei
Konsultation	Recap/Q&A	DS5, 30. Januar 2023 in APB E005
Übung	Approximation Fixpoint Theory	DS6, 30. Januar 2023 in APB E005	Datei

Kalender

@@ Zeile 133: / Zeile 133: @@
 |Date=2022/11/28
 |DS=DS5
+|Download=FKR2022-07.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 140: / Zeile 141: @@
 |Date=2022/12/05
 |DS=DS5
+|Download=FKR2022-08.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
-|Title=Argumentation
+|Title=Inconsistency Handling
 |Room=APB E005
 |Date=2022/12/12
 |DS=DS5
+|Download=FKR2022-09.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 154: / Zeile 157: @@
 |Date=2022/12/19
 |DS=DS5
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Argumentation
+|Room=APB E005
+|Date=2023/01/09
+|DS=DS5
+|Download=FKR2022-10.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 159: / Zeile 170: @@
 |Title=Uncertainty
 |Room=APB E005
-|Date=2023/01/09
+|Date=2023/01/16
 |DS=DS5
+|Download=FKR2022-11.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 166: / Zeile 178: @@
 |Title=Approximation Fixpoint Theory
 |Room=APB E005
-|Date=2023/01/16
+|Date=2023/01/23
 |DS=DS5
+|Download=FKR2022-12.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Description Logics – Reasoning with Data
+|Room=APB E005
+|Date=2022/11/28
+|DS=DS6
+|Download=DLData.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Nonmonotonic Reasoning I
+|Room=APB E005
+|Date=2022/12/05
+|DS=DS6
+|Download=NMR Problems I.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Konsultation
 |Title=Recap/Q&A
+|Room=APB E005
+|Date=2023/01/30
+|DS=DS5
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Nonmonotonic Reasoning II
+|Room=APB E005
+|Date=2022/12/12
+|DS=DS6
+|Download=NMR 2 - Problems.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Inconsistency Handling
+|Room=APB E005
+|Date=2022/12/19
+|DS=DS6
+|Download=Inconsistency Handling - Problems.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Argumentation
+|Room=APB E005
+|Date=2023/01/16
+|DS=DS6
+|Download=Argumentation - Problems.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Uncertainty
 |Room=APB E005
 |Date=2023/01/23
-|DS=DS5
+|DS=DS6
+|Download=UncertaintyProblems.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Approximation Fixpoint Theory
+|Room=APB E005
+|Date=2023/01/30
+|DS=DS6
+|Download=AFT Problems2.pdf
 }}

Foundations of Knowledge Representation (WS2022): Unterschied zwischen den Versionen