184.730 Knowledge-based Systems
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020S, VU, 4.0h, 6.0EC

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • LectureTube Lehrveranstaltung

Lernergebnisse

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-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.

Inhalt der Lehrveranstaltung

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/

Methoden

Vorlesungsteil mit Frontalvortrag; Übungsteil mit selbständiger Erarbeitung von Aufgaben und Projekten.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

ECTS breakdown: 6 ECTS = 150 Hours

  • Lectures + Introduction 30h
  • Solving the exercises 30h
  • Preparation for the exercise test 15h
  • Exercise test 1h
  • Implementing and presenting the projects 20h
  • Preparation for the final exam 53h
  • Final exam 1h

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.16:00 - 19:0004.03.2020 - 11.03.2020EI 6 Eckert HS Lecture
Mi.16:00 - 19:0011.03.2020HS 17 Friedrich Hartmann - ARCH Stream Vorlesung
Mi.16:00 - 19:0022.04.2020FH Hörsaal 5 - TPH Distance Learning
Mi.16:00 - 19:0029.04.2020EI 9 Hlawka HS -MWB Distance Learning
Mi.16:00 - 19:0013.05.2020Sem.R. DA grün 02 C Distance Learning
Mi.16:00 - 19:0020.05.2020Sem.R. DA grün 02 C Distance Learning
Mi.16:00 - 19:0027.05.2020Sem.R. DA grün 02 C Distance Learning
Knowledge-based Systems - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.04.03.202016:00 - 19:00EI 6 Eckert HS Lecture
Mi.11.03.202016:00 - 19:00EI 6 Eckert HS Lecture
Mi.11.03.202016:00 - 19:00HS 17 Friedrich Hartmann - ARCH Stream Vorlesung
Mi.22.04.202016:00 - 19:00FH Hörsaal 5 - TPH Distance Learning
Mi.29.04.202016:00 - 19:00EI 9 Hlawka HS -MWB Distance Learning
Mi.13.05.202016:00 - 19:00Sem.R. DA grün 02 C Distance Learning
Mi.20.05.202016:00 - 19:00Sem.R. DA grün 02 C Distance Learning
Mi.27.05.202016:00 - 19:00Sem.R. DA grün 02 C Distance Learning

Leistungsnachweis

Die Note ergibt sich aus einer mündlichen Prüfung und den Leistungen der Übungen.

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mo.11:30 - 13:3021.09.2020FH Hörsaal 5 - TPH schriftlich12.08.2020 10:00 - 17.09.2020 16:00in TISSNachtrag Übungstest
Do.14:00 - 19:0024.09.2020 online Prüfung via Blue Buttonmündlich12.08.2020 10:00 - 23.09.2020 15:00in TISSoral exam, side 1

LVA-Anmeldung

Von Bis Abmeldung bis
02.03.2020 00:00 19.03.2020 23:55 19.03.2020 23:55

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorausgehende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch