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.

2021S, VU, 4.0h, 6.0EC

Merkmale

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

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

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

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 in TISS and as a video in TUWEL. The extercise 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 for the exercise part will be given in due time.

  • Wed Mar 03: Introduction+History+Architecture (Egly)
  • Wed Mar 10: Rules I (Egly)
  • Thu Mar 11: Registration deadline (TISS)
  • Fri Mar 12 to Sun Mar 14: Mandatory entry test (TUWEL)
  • Wed Mar 17: Rules II (Egly)
  • Wed Mar 24: PL1 + PL1 as Specification Language (Egly)
  • Wed Mar 31: Easter break
  • Wed Apr 07: Easter break
  • Wed Apr 14: Description Logics I (Eiter)
  • Wed Apr 21: Description Logics II (Eiter)
  • Tue Apr 27: Exercises Q&A Session - Sheet 1 (online; time TBA)
  • Wed Apr 28: 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: Answer Set Programming I (Tompits)
  • Wed May 12: Answer Set Programming II (Tompits)
  • Wed May 19: 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)
  • TBA: Mandatory exercise test

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

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/

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

Leistungsnachweis

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

LVA-Anmeldung

Von Bis Abmeldung bis
16.02.2021 00:00 11.03.2021 23:55 11.03.2021 23:55

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorausgehende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch