Foundations of Knowledge Representation (WS2021): Unterschied zwischen den Versionen
Jonas Karge (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Jonas Karge (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 157: | Zeile 157: | ||
|Date=2021/12/13 | |Date=2021/12/13 | ||
|DS=DS5 | |DS=DS5 | ||
|Download=ArgumentationKR.pdf | |Download=ArgumentationKR.pdf | ||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
| Zeile 180: | Zeile 180: | ||
|Date=2021/12/20 | |Date=2021/12/20 | ||
|DS=DS6 | |DS=DS6 | ||
|Download=Argumentation - Problems.pdf | |||
}} | }} | ||
{{Vorlesung Zeiten | {{Vorlesung Zeiten | ||
Version vom 13. Dezember 2021, 19:03 Uhr
Foundations of Knowledge Representation
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2021
Dozent
Tutor
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
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.
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.
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-3ilVeranstaltungskalender 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
