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:
- 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 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 and as a video in TUWEL, and live question-and-answer (Q+A) sessions will be offered for each topic in subsequent weeks. The exercise 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 will be given in due time. The exercise test in this semester will be held as written online exam on paper following the guidelines of TU Wien. In order to participate in the online exercise test, you need a webcam, a stable internet connection and either a printer or a second device with which you can view a PDF. If you otherwise cannot participate in the online exercise test, you may request a permit to write the test at the university. In case the situation permits, an ordinary presence exercise test at the university may substitute the online one.
- Wed Mar 03: Introduction+History+Architecture, Rules I und Rules II as videos (Egly)
- Wed Mar 10, 17:00-19:00: Q+A session on History & Architecture, Rules 1, Rules 2 (Egly)
- Thu Mar 11: Registration deadline (TISS)
- Fri Mar 12 to Sun Mar 14: Mandatory entry test (TUWEL)
- Wed Mar 17, 17:00-19:00: online lecture PL1 as a specification language (Egly)
- Wed Mar 24:
- Q+A session on PL1 & PL1 as a specification language (Egly)
- Course material available on Description Logics I+II (Eiter)
- Wed Mar 31: Easter break
- Wed Apr 07: Easter break
- Wed Apr 21 (Eiter):
- 17:00-19:00: Q+A on Description Logics
- Course material available on Truth Maintenance Systems
- Tue Apr 27: Exercises Q&A Session - Sheet 1 (online; time TBA)
- Wed Apr 28, 17:00-19:00: Q+A session on 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: Course material available on Answer-Set Programming I+II, Probabilistic Reasoning (Tompits)
- Wed May 12, 17:00-19:00: Q+A session on Answer Set Programming & 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)
- Thu Jun 10: Mandatory exercise test
- Jun 24, 13:00-16:00: Main exam (orally, 3 slots, 1h each, 3 students per slot)
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) online 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
- Rewuired infrastructure for the online exercise test: 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.
- If situation permits, a written closed book exercise test at TU Wien may substitute the online one.
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/