TU Wien:Knowledge-based Systems VU (Egly, Eiter, Tompits): Unterschied zwischen den Versionen

Aus VoWi
Zur Navigation springen Zur Suche springen
(→‎Daten: Lass Titel weg)
(fixe LVA-Daten (lva_fixer.py))
Zeile 4: Zeile 4:
 
|vortragende=[http://tiss.tuwien.ac.at/adressbuch/adressbuch/person_via_oid/1121293 Uwe Egly], [http://tiss.tuwien.ac.at/adressbuch/adressbuch/person_via_oid/250197 Thomas Eiter], [http://tiss.tuwien.ac.at/adressbuch/adressbuch/person_via_oid/407657 Hans Tompits], [https://tiss.tuwien.ac.at/adressbuch/adressbuch/person_via_oid/2303569 Christoph Redl (Übungsteil)]
 
|vortragende=[http://tiss.tuwien.ac.at/adressbuch/adressbuch/person_via_oid/1121293 Uwe Egly], [http://tiss.tuwien.ac.at/adressbuch/adressbuch/person_via_oid/250197 Thomas Eiter], [http://tiss.tuwien.ac.at/adressbuch/adressbuch/person_via_oid/407657 Hans Tompits], [https://tiss.tuwien.ac.at/adressbuch/adressbuch/person_via_oid/2303569 Christoph Redl (Übungsteil)]
 
|abteilung=Knowledge Based Systems
 
|abteilung=Knowledge Based Systems
|tiss=184730
+
|id=184730
 
|wann=SS
 
|wann=SS
 
|sprache=en
 
|sprache=en

Version vom 10. Juni 2019, 20:06 Uhr

Daten

Vortragende Uwe Egly, Thomas Eiter, Hans Tompits, Christoph Redl (Übungsteil)
ECTS 6
Abteilung Forschungsbereich Knowledge Based Systems
Wann Sommersemester
Sprache English
Links tiss:184730
Zuordnungen
Master Data Science Wahlmodul VAST/EX - Visual Analytics and Semantic Technologies - Extension
Master Business Informatics Wahlmodul DA/EXT - Data Analytics Extension
Master Logic and Computation Pflichtmodul Knowledge-based Systems
Master Technische Informatik Wahlmodul Verbreiterung

Mattermost: Channel "knowledge-based-systems" Team invite & account creation link Mattermost-Infos

Inhalt

Rules/Rule-based Systems (Egly)
First-order Logic (Egly)
PL1 as a Representation Language (Egly)
Description Logics (Eiter)
Truth Maintenance Systems (Eiter)
Answer-Set Programming (Tompits)
Probabilistic Reasoning (Tompits)

Ablauf

Einmal wöchentlich eine 3-stündige Vorlesung, 3 Übungen zu je 8-9 Bispielen und 2 Projekte aus den Gebieten "Description Logics" und "Answer Set Programming". Am Anfang des Semesters gibt es ggf. im TUWEL einen kleinen Eingangstest zur ersten Vorlesungseinheit, den man zwar bestehen muss (mind. 2 von 3 Pkt. sind zu erreichen), der aber eher einen symbolischen Charakter hat.

Benötigte/Empfehlenswerte Vorkenntnisse

TU_Wien:Theoretische_Informatik_und_Logik_VU_(Fermüller,_Freund)

Vortrag

Vorlesung einmal wöchentlich - 3 Stunden am Stück, was ziemlich anstrengend werden kann, vor allem wenn die Themen völlig neu für einen sind und man sich durchgehend sehr konzentrieren muss. Prof. Toplits hat ein gutes angenehmes Englisch zu bieten; Prof. Egly länger zuzuhören kann dagegen etwas ermüden.

Übungen

3 Übungen zu je 7-8 Bispielen, die man im TUWEL ankreuzt und die dann in der Übung von Studierenden an der Tafel (auf Englisch) präsentiert werden. Man muss im Laufe der drei Übungseinheiten mindestens einmal (positiv) an der Tafel gewesen sein, mindestens 15 der Übungen müssen für ein Positiv angekreuzt worden sein. Der Übungsleiter ist sehr nett, es gibt also nichs zu befürchten, wenn man die Beispiele selbst gemacht hat.

Projekte

2 Projekte, für die man jeweils 10 Pkt. erreichen kann. Für das Bestehen des Projektteils sind insgesamt min. 10 Pkt. erforderlich.

  • Erstes Projekt zu "Description Logics" wird mit dem Tool Protege gelöst. Dazu reicht es aus (und ist gleichzeitig empfehlenswert), dieses Manual durchzulesen. Danach reicht ein Tag, um das Projekt zu erstellen.
  • Zweites Projekt zu "Answer Set Programming" besteht am Ende aus nur ca. 9 Zeilen Code, allerdings ist es ziemlich tricky. Es dauert, um auf eine fehlerfreie Lösung zu kommen. Es gibt einen Online-Solver, mit dem man seine Lösung bequem testen kann, aber ACHTUNG: testet eure Lösung vor der Abgabe unbedingt auch mit der Offline-Version von DLV, die unsichere Regeln aufdeckt, während die Online-Version diese toleriert. Euer abgegebenes Programm wird nämlich automatisiert ausgewertet und gibt einen Fehler an, wenn es nicht sauber ist, was Punkteabzüge bedeutet.

Prüfung, Benotung

Eine mündliche Prüfung am Ende des Semesters (auf Englisch), bei der man zu 2-3 Personen vor zwei Professoren sitzt und ca. 30-45 Minuten lang (pro Gruppe) zu den behandelten Themengebieten befragt wird. Von welchen zwei Professoren man geprüft wird, ist vorher allerdings nicht bekannt, und auch, wenn fast alle Themengebiete angesprochen werden, fragen die Professoren gerne mehr zu ihrem eigenem Schwerpunkt. Man erfährt seine Note im Anschluss an die Prüfung. Sollte man sie nicht bestehen, hat man eine weitere Chance bei einem Nebentermin. Die Benotung ist fair.

WS13 Eine schriftliche Prüfung am Ende des Semesters über den gesamten behandelten Stoff. Die Prüfung besteht aus den 4 Themengebieten der Vorlesung und jeder Teil zählt 12,5 Punkte (somit 50 Punkte in Summe). Es zahlt sich hier auf jeden Fall aus alte Prüfungen/Beispiele zu rechnen, auch wenn es sein kann, dass komplett neue Beispiele gegeben werden.

Dauer der Zeugnisausstellung

  • WS13: *pending* (aktuell 5 Wochen)
  • SS15: ca. 1 Woche

Zeitaufwand

Hoch

Unterlagen

Folien sind nach Anmeldung zur LVA via TISS downloadbar.

  • Materialen aus dem SS2018 hinzugefügt (Exercise Sheets & Übungstestangabe)
  • Materialien

Tipps

  • Am besten laufend lernen, denn es ist ein guter Packen Stoff (ein Foliensatz kann auch schon 80 Seiten betragen), den man nicht einfach an einem Wochenende aufholen kann. Von vielen wurden daher gerne die letzten Folien zu "Probabilistic Reasoning" ausgelassen, doch dann wurden sie gerade auch zu diesen in der mündlichen Prüfung befragt.
  • Einiger Inhalt wird einfach von Grundlagen der KI und Einführung in Wissenbasierte Systeme übernommen, wenn man dort etwas aufgepasst hat, langweilt man sich.
  • Die Übung erfolgt manchmal mit freiwilliger Meldung.
  • Es gibt seit SS15 für Übungsaufgaben +/-/= - bei - bekommt man die ganze Übung aberkannt, bei = nur das präsentierte Beispiel

Verbesserungsvorschläge / Kritik

  • Es ist unverständlich, warum das ein Pflichtfach ist.