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.

2024S, VU, 4.0h, 6.0EC

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Hybrid

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-2023s AT kr.tuwien.ac.at
  • The first lecture is on Mon Mar 06, 2023.
  • Mandatory TISS course registration until Mar 09, 2023.
  • Mandatory TUWEL entry test from Mar 10 to Mar 12, 2023 (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:

  • 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

Course of Action and Topics of the Lecture Part

Attention: This semester, the course is planned to be held as a mixed presence/online course. The final exam is oral and will be held in presence or online. Moreover, the exercise test is in written form and also in presence or online form.

  • Mon Mar 06: Introduction+History+Architecture (Egly)
  • Tue Mar 07: Registration deadline (TISS)
  • Fri Mar 10 to Sun Mar 12: Mandatory entry test (TUWEL)
  • Mon Mar 13: Rules I (Egly)
  • Mon Mar 20: Rules II (Egly)
  • Mon Mar 27: PL1 + PL1 as Specification Language (Egly)
  • Mon Apr 03: Easter break
  • Mon Apr 10: Easter break
  • Mon Apr 17: Description Logics I (Eiter)
  • Wed Apr 24: Description Logics II (Eiter)
  • Mon May 01: National Holiday (Staatsfeiertag)
  • Tue May 09: Exercises Q&A Session - Sheet 1 (Eisenhofer)
  • Mon May 08: Truth Maintenance Systems (Eiter)
  • Fri May 12, 23:55: Deadline for Project 1 (TUWEL)
  • Fri May 12-Sun May 14: Registration for a solution discussion for Project 1 (TUWEL)
  • Mon May 15: Answer Set Programming I (Tompits)
  • Tue May 16-Thu May 18: Project 1 solution discussions
  • Tue May 16: Exercises Q&A Session - Sheet 2 (Oudshoorn)
  • Mon May 22: Answer Set Programming II (Tompits)
  • Mon May 29: Pentecost Break
  • Mon Jun 05: Probabilistic Reasoning (Tompits)
  • Fri Jun 09, 23:55: Deadline for Project 2 (TUWEL)
  • Tue Jun 13: Exercises Q&A Session - Sheet 3 (Geibinger)
  • Fri Jun 16: Mandatory exercise test
  • TBA: Main exam (orally, 3 slots, 1h each, 3 students per slot)

Exercise-Part

Mandatory registration until Mar 07, 2023.

Mandatory TUWEL entry test from Mar 10 to Mar 12, 2023 (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 June 16 (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 exercise test is closed book and planned to be in presence, otherwise in online form for which the following infrastructure is required: 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.

Tutor hours will be available for questions (see TUWEL).

The test is evaluated with up to 27 points.

2 Projects

Two knowledge-based systems must be implemented:

  • Submission via TUWEL
  • Ontology project discussion May 16 to May 18, 2023
  • Automatic grading with testcases for the ASP project

Project submission deadlines:

  • Project 1: May 12, 2023
  • Project 2: Jun 09, 2023

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/
  • Potassco: https://potassco.org/

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 Personen

Mitwirkende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.12:00 - 15:0004.03.2024 - 24.06.2024EI 5 Hochenegg HS Lecture
Di.17:00 - 19:0007.05.2024EI 5 Hochenegg HS Exercises Q&A Session 1
Di.15:00 - 17:0014.05.2024EI 5 Hochenegg HS Exercises Q&A Session 2
Di.18:00 - 20:0011.06.2024Seminarraum FAV 01 A (Seminarraum 183/2) 3. QA Session
Fr.14:00 - 16:0014.06.2024EI 9 Hlawka HS - ETIT Exercise Test
Knowledge-based Systems - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.04.03.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.11.03.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.18.03.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.08.04.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.15.04.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.22.04.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.29.04.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.06.05.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Di.07.05.202417:00 - 19:00EI 5 Hochenegg HS Exercises Q&A Session 1
Mo.13.05.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Di.14.05.202415:00 - 17:00EI 5 Hochenegg HS Exercises Q&A Session 2
Mo.27.05.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.03.06.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.10.06.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Di.11.06.202418:00 - 20:00Seminarraum FAV 01 A (Seminarraum 183/2) 3. QA Session
Fr.14.06.202414:00 - 16:00EI 9 Hlawka HS - ETIT Exercise Test
Mo.17.06.202412:00 - 15:00EI 5 Hochenegg HS Lecture
Mo.24.06.202412:00 - 15:00EI 5 Hochenegg HS Lecture

Leistungsnachweis

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

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Mo.16:00 - 17:0026.02.2024 online via Big Blue Buttonschriftlich19.02.2024 08:00 - 25.02.2024 16:00in TISSside exam 3 for SS2023

LVA-Anmeldung

Von Bis Abmeldung bis
13.02.2024 00:00 05.03.2024 23:55 05.03.2024 23:55

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 645 Data Science Keine Angabe
066 926 Business Informatics Gebundenes Wahlfach
066 931 Logic and Computation Pflichtfach2. Semester
066 938 Technische Informatik Gebundenes Wahlfach

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorausgehende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch