TU Wien:Knowledge-based Systems VU (Egly, Eiter, Tompits)

Aus VoWi
Wechseln zu: Navigation, Suche

Daten[Bearbeiten]


Inhalt[Bearbeiten]

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[Bearbeiten]

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[Bearbeiten]

TU_Wien:Theoretische_Informatik_und_Logik_VU_(Fermüller,_Freund)

Vortrag[Bearbeiten]

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[Bearbeiten]

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[Bearbeiten]

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[Bearbeiten]

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[Bearbeiten]

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

Zeitaufwand[Bearbeiten]

Hoch

Unterlagen[Bearbeiten]

Folien sind nach Anmeldung zur LVA via TISS downloadbar.

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

Tipps[Bearbeiten]

  • 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[Bearbeiten]

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