After successful completion of the course, students are able to apply techniques, methods, and algorithms of knowledge-based systems for theoretical and practical applications, as well as to use the gained knowledge in further courses.
Attention:
-
- Email address for questions: kbsci-2023s AT kr.tuwien.ac.at
- The first lecture is on Mon Mar 06, 2023.
- Mandatory TISS course registration until Mar 09, 2023.
- Mandatory TUWEL entry test from Mar 10 to Mar 12, 2023 (00:00-23:55). Everybody who takes the entry test will receive a certificate (i.e., it is not possible to unregister after the entry test). If you stop participating after taking the entry test, you will receive a negative certificate.
The module discusses the following topics:
- Rule-based systems and RETE
- Predicate Logic (as a representation language)
- Description Logics (ALC, Basics, Tableau)
- Truth Maintenance Systems
- Answer Set Programming
- Probabilistic Reasoning
Lecturers
Lecture-Part: Uwe Egly, Thomas Eiter, and Hans Tompits
Exercise-Part: Antonius Weinzierl
Course of Action and Topics of the Lecture Part
Attention: This semester, the course is planned to be held as a mixed presence/online course. The final exam is oral and will be held in presence or online. Moreover, the exercise test is in written form and also in presence or online form.
- Mon Mar 06: Introduction+History+Architecture (Egly)
- Tue Mar 07: Registration deadline (TISS)
- Fri Mar 10 to Sun Mar 12: Mandatory entry test (TUWEL)
- Mon Mar 13: Rules I (Egly)
- Mon Mar 20: Rules II (Egly)
- Mon Mar 27: PL1 + PL1 as Specification Language (Egly)
- Mon Apr 03: Easter break
- Mon Apr 10: Easter break
- Mon Apr 17: Description Logics I (Eiter)
- Wed Apr 24: Description Logics II (Eiter)
- Mon May 01: National Holiday (Staatsfeiertag)
- Tue May 09: Exercises Q&A Session - Sheet 1 (Eisenhofer)
- Mon May 08: Truth Maintenance Systems (Eiter)
- Fri May 12, 23:55: Deadline for Project 1 (TUWEL)
- Fri May 12-Sun May 14: Registration for a solution discussion for Project 1 (TUWEL)
- Mon May 15: Answer Set Programming I (Tompits)
- Tue May 16-Thu May 18: Project 1 solution discussions
- Tue May 16: Exercises Q&A Session - Sheet 2 (Oudshoorn)
- Mon May 22: Answer Set Programming II (Tompits)
- Mon May 29: Pentecost Break
- Mon Jun 05: Probabilistic Reasoning (Tompits)
- Fri Jun 09, 23:55: Deadline for Project 2 (TUWEL)
- Tue Jun 13: Exercises Q&A Session - Sheet 3 (Geibinger)
- Fri Jun 16: Mandatory exercise test
- TBA: Main exam (orally, 3 slots, 1h each, 3 students per slot)
Exercise-Part
Mandatory registration until Mar 07, 2023.
Mandatory TUWEL entry test from Mar 10 to Mar 12, 2023 (00:00-23:55). Everybody who takes the entry test will receive a certificate (i.e., it is not possible to unregister after the entry test).
Exercise test which covers 3 exercise sheets
Mandatory (closed book) exercise test on June 16 (time TBA). The test examines the following three exercise sheets and their background:
- Sheet 1: Rules + Predicate Logic
- Sheet 2: Description Logics + Truth Maintenance Systems
- Sheet 3: Answer Set Programming + Probabilistic Reasoning
- The exercise test is closed book and planned to be in presence, otherwise in online form for which the following infrastructure is required: stable internet connection, a device with webcam and microphone, either a printer or a second device to view a PDF, and a scanner or camera with software to generate a single PDF of the written test.
Tutor hours will be available for questions (see TUWEL).
The test is evaluated with up to 27 points.
2 Projects
Two knowledge-based systems must be implemented:
- Submission via TUWEL
- Ontology project discussion May 16 to May 18, 2023
- Automatic grading with testcases for the ASP project
Project submission deadlines:
- Project 1: May 12, 2023
- Project 2: Jun 09, 2023
Important:
- Files must comply with the project specification!
- No group work!
- Exercises and projects must be worked out individually
- Finalisation of points after plagiarism check (possibility of fines and negative grades)
Used tools: