Aktuelle Version vom 2. Februar 2021, 01:52 Uhr

Foundations of Knowledge Representation

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

Dozent

Sebastian Rudolph

Tutor

Jonas Karge

Umfang (SWS)

2/2/0

Module

Leistungskontrolle

Mündliche Prüfung

Information
Termine und Unterlagen

Exams

All examinations will be oral remote exams.
The exams will take place on the 22nd of February (Monday).
In a first step, students have to register for the exam by following the usual procedure for their study program and module. For students in the CMS program, it is sufficient to register via SELMA.
In a second step, once the examination date is known, students must contact the CL secretary (ramona.behling@tu-dresden.de) to ask for a time slot and, if applicable, submit the registration forms they obtained from the examination office. CMS students do not need to submit registration forms.
The duration of exams for KR will be 20 minutes, unless another length is required and clearly stated in the email to the KBS secretary.
Exams are "closed book" (i.e., additional materials and lecture notes are not permitted).
Registration with the secretary must happen happen until 15th of February the latest.

Lecture Content

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.

Both lectures and tutorials will be done as online life sessions.

The lectures will be done via Zoom, to be entered via the following link:

https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09

To access the exercise session in BigBlueButton, please use the following link:

With ZIH-login: https://selfservice.zih.tu-dresden.de/l/link.php?m=77311&p=b809967b

Without ZIH-Login: https://selfservice.zih.tu-dresden.de/link.php?m=77311&p=b4a90bf2

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS5, 26. Oktober 2020 in Videokonferenz	Datei
Übung	Introductory Meeting	DS1, 29. Oktober 2020 in BigBlueButton
Vorlesung	Propositional Logic and First-Order Logic	DS5, 2. November 2020 in Videokonferenz	Datei
Vorlesung	Horn Logics and Datalog	DS5, 9. November 2020 in Videokonferenz	Datei
Übung	Propositional Logic and First-Order Logic	DS1, 12. November 2020 in BigBlueButton	Datei
Vorlesung	Description Logic - Syntax and Semantics I	DS5, 16. November 2020 in Videokonferenz	Datei
Übung	Horn Logics and Datalog	DS1, 19. November 2020 in BigBlueButton	Datei
Vorlesung	Description Logic - Syntax and Semantics II	DS5, 23. November 2020 in Videokonferenz	Datei
Übung	Description Logic - Syntax and Semantics I	DS1, 26. November 2020 in BigBlueButton	Datei
Vorlesung	Description Logic - Reasoning with Data	DS5, 30. November 2020 in Videokonferenz	Datei
Übung	Description Logic - Syntax and Semantics II	DS1, 3. Dezember 2020 in BigBlueButton	Datei
Vorlesung	Nonmonotonic Reasoning I	DS5, 7. Dezember 2020 in Videokonferenz	Datei
Übung	Description Logic - Reasoning with Data	DS1, 10. Dezember 2020 in BigBlueButton	Datei
Vorlesung	Nonmonotonic Reasoning II	DS5, 14. Dezember 2020 in Videokonferenz	Datei
Übung	Nonmonotonic Reasoning I	DS1, 17. Dezember 2020 in BigBlueButton	Datei
Vorlesung	Inconsistency Handling	DS5, 4. Januar 2021 in Videokonferenz	Datei
Übung	Nonmonotonic Reasoning II	DS1, 7. Januar 2021 in BigBlueButton	Datei
Vorlesung	Argumentation	DS5, 11. Januar 2021 in Videokonferenz	Datei
Übung	Inconsistency Handling	DS1, 14. Januar 2021 in BigBlueButton	Datei
Vorlesung	Uncertainty	DS5, 18. Januar 2021 in Videokonferenz	Datei
Übung	Argumentation	DS1, 21. Januar 2021 in BigBlueButton	Datei
Vorlesung	Recap	DS5, 25. Januar 2021 in Videokonferenz	Datei
Übung	Uncertainty	DS1, 28. Januar 2021 in BigBlueButton	Datei

Kalender

@@ Zeile 11: / Zeile 11: @@
 |SWSPractical=0
 |Exam type=mündliche Prüfung
-|Description=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.
+|Description====Exams===
+* All examinations will be oral remote exams.
+* The exams will take place on the 22nd of February (Monday).
+* In a first step, students have to register for the exam by following the usual procedure for their study program and module. <span style="color:red;">For students in the CMS program, it is sufficient to register via SELMA.</span>
+* In a second step, once the examination date is known, students must contact the CL secretary (ramona.behling@tu-dresden.de) to ask for a time slot and, if applicable, submit the registration forms they obtained from the examination office. <span style="color:red;">CMS students do not need to submit registration forms.</span>
+* The duration of exams for KR will be 20 minutes, unless another length is required and clearly stated in the email to the KBS secretary.
+* Exams are "closed book" (i.e., additional materials and lecture notes are not permitted).
+* Registration with the secretary must happen happen until 15th of February the latest.
+===Lecture Content===
+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.
 Both lectures and tutorials will be done as online life sessions.
@@ Zeile 21: / Zeile 33: @@
 To access the exercise session in BigBlueButton, please use the following link:
-With ZIH-login: https://selfservice.zih.tu-dresden.de/l/link.php?m=49933&p=4c2547af
+With ZIH-login: https://selfservice.zih.tu-dresden.de/l/link.php?m=77311&p=b809967b
-Without ZIH-Login: https://selfservice.zih.tu-dresden.de/link.php?m=49933&p=da6c428f
+Without ZIH-Login: https://selfservice.zih.tu-dresden.de/link.php?m=77311&p=b4a90bf2
 }}
 {{Vorlesung Zeiten
@@ Zeile 85: / Zeile 98: @@
 |Date=2020/11/23
 |DS=DS5
+|Download=KRR-lecture-5.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 100: / Zeile 114: @@
 |Date=2020/11/30
 |DS=DS5
+|Download=KRR-lecture-6.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 107: / Zeile 122: @@
 |Date=2020/12/03
 |DS=DS1
+|Download=Description Logic - Problems 2.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 114: / Zeile 130: @@
 |Date=2020/12/07
 |DS=DS5
+|Download=KRR-lecture-7.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 121: / Zeile 138: @@
 |Date=2020/12/10
 |DS=DS1
+|Download=DL Reasoning with Data Problems.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 128: / Zeile 146: @@
 |Date=2020/12/14
 |DS=DS5
+|Download=KRR-lecture-8.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 135: / Zeile 154: @@
 |Date=2020/12/17
 |DS=DS1
+|Download=NMR Problems I.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 142: / Zeile 162: @@
 |Date=2021/01/04
 |DS=DS5
+|Download=KRR-lecture-9.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 149: / Zeile 170: @@
 |Date=2021/01/07
 |DS=DS1
+|Download=NMR 2 - Problems.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 156: / Zeile 178: @@
 |Date=2021/01/11
 |DS=DS5
+|Download=KRR-lecture-10.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 163: / Zeile 186: @@
 |Date=2021/01/14
 |DS=DS1
+|Download=Inconsistency Handling - Problems.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 170: / Zeile 194: @@
 |Date=2021/01/18
 |DS=DS5
+|Download=Uncertainty Lecture.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 177: / Zeile 202: @@
 |Date=2021/01/21
 |DS=DS1
+|Download=Argumentation - Problems.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 184: / Zeile 210: @@
 |Date=2021/01/25
 |DS=DS5
+|Download=Recap.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 191: / Zeile 218: @@
 |Date=2021/01/28
 |DS=DS1
+|Download=Uncertainty - Problems.pdf
 }}

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