Aktuelle Version vom 19. Januar 2022, 15:48 Uhr

Foundations of Knowledge Representation

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

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 to register online via Selma (course K1107-MA0057) to both lectures (V) and excercise sessions (Ü) in case you want to take an exam.

Links

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

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

https://tu-dresden.zoom.us/j/87452937587?pwd=T3VPMzhPWkQ0VExzSnIwdnFVZWo4QT09

To access the exercise session in BigBlueButton, please use the following link: https://bbb.tu-dresden.de/b/jon-qjf-fin-3il

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

Veranstaltungskalender abonnieren (icalendar)

Vorlesung	Introduction	DS5, 11. Oktober 2021 in Videokonferenz	Datei
Vorlesung	Propositional and First-Order Logic	DS5, 18. Oktober 2021 in Videokonferenz	Datei 1, Datei 2
Vorlesung	Horn Logics and Datalog	DS5, 25. Oktober 2021 in Videokonferenz	Datei 1, Datei 2
Übung	Propositional Logic and First-Order Logic	DS6, 25. Oktober 2021 in Videokonferenz	Datei
Vorlesung	Description Logic - Syntax and Semantics I	DS5, 1. November 2021 in Videokonferenz	Datei 1, Datei 2
Übung	Horn Logics and Datalog	DS6, 1. November 2021 in Videokonferenz	Datei
Vorlesung	Description Logics - Syntax and Semantics II	DS5, 8. November 2021 in Videokonferenz	Datei 1, Datei 2
Übung	Description Logic - Syntax and Semantics I	DS6, 8. November 2021 in Videokonferenz	Datei
Vorlesung	Description Logic - Reasoning with Data	DS5, 15. November 2021 in Videokonferenz	Datei 1, Datei 2
Übung	Description Logic - Syntax and Semantics II	DS6, 15. November 2021 in Videokonferenz	Datei
Vorlesung	Nonmonotonic Reasoning I	DS5, 22. November 2021 in Videokonferenz	Datei 1, Datei 2
Übung	Description Logic - Reasoning with Data	DS6, 22. November 2021 in Videokonferenz	Datei
Vorlesung	Nonmonotonic Reasoning II	DS5, 29. November 2021 in Videokonferenz	Datei 1, Datei 2
Übung	Nonmonotonic Reasoning I	DS6, 29. November 2021 in Videokonferenz	Datei
Vorlesung	Inconsistency Handling	DS5, 6. Dezember 2021 in Videokonferenz	Datei 1, Datei 2
Übung	Nonmonotonic Reasoning II	DS6, 6. Dezember 2021 in Videokonferenz	Datei
Vorlesung	Argumentation	DS5, 13. Dezember 2021 in Videokonferenz	Datei 1, Datei 2
Übung	Inconsistency Handling	DS6, 13. Dezember 2021 in Videokonferenz	Datei
Übung	Argumentation	DS6, 20. Dezember 2021 in Videokonferenz	Datei
Vorlesung	Uncertainty	DS5, 10. Januar 2022 in Videokonferenz	Datei 1, Datei 2
Vorlesung	Approximation Fixpoint Theory	DS5, 17. Januar 2022 in Videokonferenz	Datei 1, Datei 2
Übung	Uncertainty	DS6, 17. Januar 2022 in Videokonferenz	Datei
Vorlesung	Recap	DS5, 24. Januar 2022 in Videokonferenz
Übung	Approximation Fixpoint Theory	DS6, 24. Januar 2022 in Videokonferenz	Datei

Kalender

@@ Zeile 10: / Zeile 10: @@
 |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==== 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 to register online via [https://selma.tu-dresden.de/APP/COURSEDETAILS/-N008272179420947,-N000096,-N000000000000000,-N380153776847817,-N380153776808818,-N0,-N0 Selma (course K1107-MA0057)] to both lectures (V) and excercise sessions (Ü) in case you want to take an exam.
+=== Links ===
+Both lectures and tutorials will be done as online live sessions.
+The lectures will be done via Zoom, to be entered via the following link:
+https://tu-dresden.zoom.us/j/87452937587?pwd=T3VPMzhPWkQ0VExzSnIwdnFVZWo4QT09
+To access the exercise session in BigBlueButton, please use the following link:
+https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
+=== 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 [mailto:ramona.behling@tu-dresden.de Ms. Ramona Behling] asking for a slot
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Introduction
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/10/11
 |DS=DS5
+|Download=KRR-lecture01.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Propositional and First-Order Logic
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/10/18
 |DS=DS5
+|Download=KRR-lecture-2.pdf,Kr2021 01.mp4
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Horn Logics and Datalog
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/10/25
 |DS=DS5
+|Download=KRR-lecture3.pdf,Kr2021 02.mp4
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
 |Title=Propositional Logic and First-Order Logic
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
 |Date=2021/10/25
 |DS=DS6
+|Download=PL-and-FOL-Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Description Logic - Syntax and Semantics I
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/11/01
 |DS=DS5
+|Download=KRR-lecture4.pdf,Kr2021 03.mp4
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
 |Title=Horn Logics and Datalog
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
 |Date=2021/11/01
 |DS=DS6
+|Download=Horn Logics and DatalogProblems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Description Logics - Syntax and Semantics II
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/11/08
 |DS=DS5
+|Download=KRR-lecture5.pdf,Kr2021 04.mp4
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
 |Title=Description Logic - Syntax and Semantics I
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
 |Date=2021/11/08
 |DS=DS6
+|Download=Description Logic - Problems1.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Description Logic - Reasoning with Data
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/11/15
 |DS=DS5
+|Download=KRR-lecture6.pdf,Kr2021 05.mp4
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
 |Title=Description Logic - Syntax and Semantics II
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
 |Date=2021/11/15
 |DS=DS6
+|Download=Description Logic - Problems2.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Nonmonotonic Reasoning I
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/11/22
 |DS=DS5
+|Download=KRR-lecture7.pdf,Kr2021 06.mp4
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
 |Title=Description Logic - Reasoning with Data
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
 |Date=2021/11/22
 |DS=DS6
+|Download=DLData.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Nonmonotonic Reasoning II
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/11/29
 |DS=DS5
+|Download=KRR-lecture8.pdf,Kr2021 07.mp4
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
 |Title=Nonmonotonic Reasoning I
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
 |Date=2021/11/29
 |DS=DS6
+|Download=NMR Problems I.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Inconsistency Handling
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/12/06
 |DS=DS5
+|Download=KRR-lecture-9b.pdf,Kr2021 08.mp4
 }}
 {{Vorlesung Zeiten
-|Lehrveranstaltungstype=Vorlesung
+|Lehrveranstaltungstype=Übung
 |Title=Nonmonotonic Reasoning II
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
 |Date=2021/12/06
 |DS=DS6
+|Download=NMR 2 - Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Argumentation
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
 |Date=2021/12/13
 |DS=DS5
+|Download=ArgumentationKR.pdf,Kr2021 09.mp4
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
 |Title=Inconsistency Handling
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
 |Date=2021/12/13
 |DS=DS6
+|Download=Inconsistency Handling - Problems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Uncertainty
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
-|Date=2021/12/20
+|Date=2022/01/10
 |DS=DS5
+|Download=KRR-Lecture11.pdf,Kr2021 10.mp4
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
 |Title=Argumentation
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
 |Date=2021/12/20
 |DS=DS6
+|Download=Argumentation - Problems.pdf
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Vorlesung
+|Title=Approximation Fixpoint Theory
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
+|Date=2022/01/17
+|DS=DS5
+|Download=KRR-Lecture-12.pdf,Kr2021 11.mp4
+}}
+{{Vorlesung Zeiten
+|Lehrveranstaltungstype=Übung
+|Title=Uncertainty
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
+|Date=2022/01/17
+|DS=DS6
+|Download=UncertaintyProblems.pdf
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Vorlesung
 |Title=Recap
-|Room=APB E005
+|Room=https://tu-dresden.zoom.us/meeting/87452937587
-|Date=2022/01/10
+|Date=2022/01/24
 |DS=DS5
 }}
 {{Vorlesung Zeiten
 |Lehrveranstaltungstype=Übung
-|Title=Uncertainty
+|Title=Approximation Fixpoint Theory
-|Room=APB E005
+|Room=https://bbb.tu-dresden.de/b/jon-qjf-fin-3il
-|Date=2022/01/10
+|Date=2022/01/24
 |DS=DS6
+|Download=AFT Problems2.pdf
 }}

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