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.
-In order to access the exercise session on 27.10.2020, please use the following link:
-With ZIH-Login:
+===Lecture Content===
-https://selfservice.zih.tu-dresden.de/l/link.php?meeting_id=37836&pin=13b1f21e
-Without ZIH-Login:
+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.
-https://selfservice.zih.tu-dresden.de/link.php?meeting_id=37836&pin=884c370b
+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
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Introduction
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2020/10/26
 |DS=DS5
+|Download=KRR-lecture-01.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 38: / Zeile 55: @@
 |Lehrveranstaltungstype=Vorlesung
 |Title=Propositional Logic and First-Order Logic
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2020/11/02
 |DS=DS5
+|Download=KRR-lecture-02.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Horn Logics and Datalog
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2020/11/09
 |DS=DS5
+|Download=KRR-lecture-3.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 55: / Zeile 74: @@
 |Date=2020/11/12
 |DS=DS1
+|Download=PL and FOL Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Description Logic - Syntax and Semantics I
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2020/11/16
 |DS=DS5
+|Download=KRR-lecture-4.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 69: / Zeile 90: @@
 |Date=2020/11/19
 |DS=DS1
+|Download=Horn Logics and Datalog Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Description Logic - Syntax and Semantics II
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2020/11/23
 |DS=DS5
+|Download=KRR-lecture-5.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 83: / Zeile 106: @@
 |Date=2020/11/26
 |DS=DS1
+|Download=Description Logic - Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Description Logic - Reasoning with Data
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2020/11/30
 |DS=DS5
+|Download=KRR-lecture-6.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 97: / Zeile 122: @@
 |Date=2020/12/03
 |DS=DS1
+|Download=Description Logic - Problems 2.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Nonmonotonic Reasoning I
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2020/12/07
 |DS=DS5
+|Download=KRR-lecture-7.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 111: / Zeile 138: @@
 |Date=2020/12/10
 |DS=DS1
+|Download=DL Reasoning with Data Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Nonmonotonic Reasoning II
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2020/12/14
 |DS=DS5
+|Download=KRR-lecture-8.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 125: / Zeile 154: @@
 |Date=2020/12/17
 |DS=DS1
+|Download=NMR Problems I.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Inconsistency Handling
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2021/01/04
 |DS=DS5
+|Download=KRR-lecture-9.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 139: / Zeile 170: @@
 |Date=2021/01/07
 |DS=DS1
+|Download=NMR 2 - Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Argumentation
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2021/01/11
 |DS=DS5
+|Download=KRR-lecture-10.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 153: / Zeile 186: @@
 |Date=2021/01/14
 |DS=DS1
+|Download=Inconsistency Handling - Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Uncertainty
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2021/01/18
 |DS=DS5
+|Download=Uncertainty Lecture.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 167: / Zeile 202: @@
 |Date=2021/01/21
 |DS=DS1
+|Download=Argumentation - Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Recap
-|Room=Zoom
+|Room=https://tu-dresden.zoom.us/j/87505273745?pwd=bXlFalZTT0hwTnF5UTBFSHRHT0c3QT09
 |Date=2021/01/25
 |DS=DS5
+|Download=Recap.pdf
 }}
 {{Vorlesung Zeiten
@@ Zeile 181: / Zeile 218: @@
 |Date=2021/01/28
 |DS=DS1
+|Download=Uncertainty - Problems.pdf
 }}

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