Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage Techniken, Methoden und Algorithmen
die in Wissensbasierten Systemen Verwendung finden in theoretischer und praktischer Arbeit anwenden,
sowie für Speziallehrveranstaltungen verwenden.
Attention:
- Email address for questions: kbsci-2021s AT kr.tuwien.ac.at
- The first lecture is on Wed Mar 03, 2021.
- Mandatory TISS course registration until Mar 11, 2020.
- Mandatory TUWEL entry test from Mar 12 to Mar 14, 2021 (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:
- 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 and Zeynep Saribatur
Course of Action and Topics of the Lecture Part
Attention: This semester, the course will be held in a distance-learning mode. For the lecture part, slides will be made available at the respective lecture dates in pdf form in TISS and as a video in TUWEL. The extercise part will also be held in distance mode for which we use the BigBlueButton system. For this, only a current browser, a microphone, and a webcam is required. Specific details for the exercise part will be given in due time.
- Wed Mar 03: Introduction+History+Architecture (Egly)
- Wed Mar 10: Rules I (Egly)
- Thu Mar 11: Registration deadline (TISS)
- Fri Mar 12 to Sun Mar 14: Mandatory entry test (TUWEL)
- Wed Mar 17: Rules II (Egly)
- Wed Mar 24: PL1 + PL1 as Specification Language (Egly)
- Wed Mar 31: Easter break
- Wed Apr 07: Easter break
- Wed Apr 14: Description Logics I (Eiter)
- Wed Apr 21: Description Logics II (Eiter)
- Tue Apr 27: Exercises Q&A Session - Sheet 1 (online; time TBA)
- Wed Apr 28: Truth Maintenance Systems (Eiter)
- Fri Apr 30, 23:55: Deadline for Project 1 (TUWEL)
- Sat May 01 to Sun May 02: Registration for a solution discussion for Project 1 (TUWEL)
- Mon May 03 to Wed May 05: Project 1 solution discussion
- Tue May 04: Exercises Q&A Session - Sheet 2 (online; time TBA)
- Wed May 05: Answer Set Programming I (Tompits)
- Wed May 12: Answer Set Programming II (Tompits)
- Wed May 19: Probabilistic Reasoning (Tompits)
- Thu May 27: Exercises Q&A Session - Sheet 3 (online; time TBA)
- Wed Jun 02, 23:55: Deadline for Project 2 (TUWEL)
- TBA: Mandatory exercise test
Exercise-Part
Mandatory registration until Mar 11, 2020.
Mandatory TUWEL entry test from Mar 12 to Mar 14, 2020 (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 (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 lecturers will present the solutions and answer questions about the exercises in dedicated lecture units (to be announced via TISS notification and in TUWEL). Moreoever, students are invided to ask questions in the tutor hours (see TUWEL).
The test is evaluated with up to 27 points, where at least 14 are needed for a positive grade.
2 Projects
Two knowledge-based systems must be implemented:
- Submission via TUWEL
- Ontology project discussion May 03 to May 05, 2021
- Automatic grading with testcases for the ASP project
Project submission deadlines:
- Project 1: Apr 30, 2021
- Project 2: Jun 02, 2021
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:
- Protege: http://protege.stanford.edu/
- DLV: http://www.dlvsystem.com/
- Potassco: http://potassco.sourceforge.net/