Attention:
- Email address for questions: kbsci-2017s AT kr.tuwien.ac.at
- The first lecture is on Wed Mar 08 2017. The dates are provisional.
- Mandatory TISS course registration until Mar 16, 2017.
- Mandatory TUWEL entry test from Mar 17 to Mar 19, 2017 (00:00-23:55)
Knowledge: Advanced knowledge of techniques, methods, and algorithms used in knowledge-based systems.
Skills: Ability to apply the above concepts in theoretical and practical work, and in specialized courses.
Competences: Ability to use mathematical concepts as tools for practical problems.
Didactic Procedure
- Lecture and Exercises
- Processing of exercises and projects by students
- Exercise test
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: Christoph Redl, Magdalena Ortiz
Course of Action and Topics of the Lecture-Part
- Wed Mar 08: Introduction+History+Architecture (Egly)
- Wed Mar 15: Rules I (Egly)
- Wed Mar 22: Rules II (Egly)
- Wed Mar 29: PL1 + PL1 as Specification Language (Egly)
- Wed Apr 5: Description Logics I (Eiter)
- Wed Apr 12: Easter break
- Wed Apr 19: Easter break
- Wed Apr 26: Description Logics II (Eiter)
- Wed May 3: Truth Maintenance Systems (Eiter)
- Wed May 10: Answer Set Programming I (Tompits)
- Wed May 17: Answer Set Programming II (Tompits)
- Wed May 24: Probabilistic Reasoning (Tompits)
Exercise-Part
Mandatory registration until Mar 16, 2017.
Mandatory TUWEL entry test from Mar 17 to Mar 19, 2017 (00:00-23:55).
Exercise test which covers 3 exercise sheets
Mandatory (closed book) exercise test on Wed June 14, 2017 13:00-15:00, EI 2 Pichelmayer HS. Test 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 21 of 2017
- Automatic grading with testcases for the ASP project
Project submission deadlines:
- Project 1: May 19, 2017
- Project 2: June 9, 2017
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/
Exercise-Part
- Mandatory entry test is totalling 3 pts.
- The exercise test is totalling 27 pts.
- The two projects are totalling 20 pts.
Lecture-Part
- Closed book oral exam
- Total pts: 50
Total sum of points for Lecture- and Exercise-Part: 100
Zero tolerance for unfair practice (e.g., plagiarism, copied solutions, ...). All involved persons will be fined with 0 pts. (you may get a negative certificate).
Grading
Requirements for a positive certificate:
- >= 2 points for the entry test; and
- >= 14 points for the mandatory exercise test; and
- >= 10 points for both projects together; and
- >= 25 points for the final oral exam.
The course will be graded as follows:
- < 51 pts: N5 (Nicht Genügend)
- >= 51 pts: G4 (Genügend)
- >= 63 pts: B3 (Befriedigend)
- >= 75 pts: U2 (Gut)
- >= 88 pts: S1 (Sehr Gut)
Note:
Since this course has an integrated exercise part (VU), there are no mandatory exams in front of committees. Instead, students have five regular attempts to take the course. However, for technical reasons (and to warn students) TISS does not allow students to register themselves for for fourth or fifth attempt to take the exam. Please send us a short message to register.