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-2020s AT kr.tuwien.ac.at
- The first lecture is on Wed Mar 04 2020.
- Mandatory TISS course registration until Mar 12, 2020.
- Mandatory TUWEL entry test from Mar 12 to Mar 15, 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). 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
- Wed Mar 04: Introduction+History+Architecture (Egly)
- Wed Mar 11: No lecture
- Thu Mar 12: Registration deadline (TISS)
- Wed Mar 18: Rules I (Egly)
- Wed Mar 25: Rules II (Egly)
- Wed Apr 1: PL1 + PL1 as Specification Language (Egly)
- Wed Apr 8: Easter break
- Wed Apr 15: Easter break
- Wed Apr 22: Description Logics I (Eiter)
- Wed Apr 29: Description Logics II (Eiter)
- Tue May 5, 17:00-19:00: Exercises Q&A Session - Sheet 1 (EI 9 Hlawka HS)
- Wed May 6: Truth Maintenance Systems (Eiter)
- Fri May 8, 23:55: Deadline for Project 1 (TUWEL)
- Sat May 9-Sun May 10: Registration for a solution discussion for Project 1 (TUWEL)
- Mon May 11-Wed May 13: Project 1 solution discussion
- Tue May 12, 17:00-19:00: Exercises Q&A Session - Sheet 2 (EI 9 Hlawka HS)
- Wed May 13: Answer Set Programming I (Tompits)
- Wed May 20: Answer Set Programming II (Tompits)
- Wed May 27: Probabilistic Reasoning (Tompits)
- Thu Jun 4, 17:00-19:00: Exercises Q&A Session - Sheet 3 (EI 9 Hlawka HS)
- Thu Jun 4, 23:55: Deadline for Project 2 (TUWEL)
- Wed Jul 15, 15:00-17:00: Mandatory exercise test (Informatik HS)
Exercise-Part
Mandatory registration until Mar 12, 2020.
Mandatory TUWEL entry test from Mar 12 to Mar 15, 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 Wed June 10, 2020 16:00-18:00, EI 5 Hochenegg HS. 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 in week 20 of 2020
- Automatic grading with testcases for the ASP project
Project submission deadlines:
- Project 1: May 8, 2020
- Project 2: Jun 4, 2020
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/