Foundations of Knowledge Representation

From International Center for Computational Logic

Foundations of Knowledge Representation

Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2020

Lecturer

Tutor

SWS

  • 2/2/0

Modules

Examination method

  • Oral exam



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

Subscribe to events of this course (icalendar)

Lecture Introduction DS5, October 26, 2020 in Video conference File
Exercise Introductory Meeting DS1, October 29, 2020 in BigBlueButton
Lecture Propositional Logic and First-Order Logic DS5, November 2, 2020 in Video conference File
Lecture Horn Logics and Datalog DS5, November 9, 2020 in Video conference File
Exercise Propositional Logic and First-Order Logic DS1, November 12, 2020 in BigBlueButton File
Lecture Description Logic - Syntax and Semantics I DS5, November 16, 2020 in Video conference File
Exercise Horn Logics and Datalog DS1, November 19, 2020 in BigBlueButton File
Lecture Description Logic - Syntax and Semantics II DS5, November 23, 2020 in Video conference File
Exercise Description Logic - Syntax and Semantics I DS1, November 26, 2020 in BigBlueButton File
Lecture Description Logic - Reasoning with Data DS5, November 30, 2020 in Video conference File
Exercise Description Logic - Syntax and Semantics II DS1, December 3, 2020 in BigBlueButton File
Lecture Nonmonotonic Reasoning I DS5, December 7, 2020 in Video conference File
Exercise Description Logic - Reasoning with Data DS1, December 10, 2020 in BigBlueButton File
Lecture Nonmonotonic Reasoning II DS5, December 14, 2020 in Video conference File
Exercise Nonmonotonic Reasoning I DS1, December 17, 2020 in BigBlueButton File
Lecture Inconsistency Handling DS5, January 4, 2021 in Video conference File
Exercise Nonmonotonic Reasoning II DS1, January 7, 2021 in BigBlueButton File
Lecture Argumentation DS5, January 11, 2021 in Video conference File
Exercise Inconsistency Handling DS1, January 14, 2021 in BigBlueButton File
Lecture Uncertainty DS5, January 18, 2021 in Video conference File
Exercise Argumentation DS1, January 21, 2021 in BigBlueButton File
Lecture Recap DS5, January 25, 2021 in Video conference File
Exercise Uncertainty DS1, January 28, 2021 in BigBlueButton File


Calendar