TU Wien:Einführung in wissensbasierte Systeme VU (Egly)

Aus VoWi
Zur Navigation springen Zur Suche springen
Ähnlich benannte LVAs (Materialien):

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Michele CollevatiUwe EglyTobias GeibingerDavide SoldaHans Tompits
ECTS 6,0
Alias Introduction to Knowledge-based Systems (en)
Letzte Abhaltung 2023W
Sprache „bei bedarf in englisch“ ist kein zulässiger Sprachcode.
Abkürzung EWBS
Mattermost einfuehrung-in-wissensbasierte-systemeRegisterMattermost-Infos
Links tiss:192023, tiss:184737
Zuordnungen
Bachelorstudium Informatik Modul Einführung in wissensbasierte Systeme (Breite Wahl)
Bachelorstudium Medizinische Informatik Modul Einführung in wissensbasierte Systeme (Gebundenes Wahlfach)
Bachelorstudium Software & Information Engineering Modul Einführung in wissensbasierte Systeme (Gebundenes Wahlfach)
Bachelorstudium Technische Informatik Modul Einführung in wissensbasierte Systeme (Gebundenes Wahlfach)


Inhalt[Bearbeiten | Quelltext bearbeiten]

  • First order logic
  • Non-monotonic reasoning
  • Answer set programming
  • Probabilistic reasoning

Ablauf[Bearbeiten | Quelltext bearbeiten]

Seit WS2014: Für die Teilnahme an der LVA ist in der ersten Woche ein Multiple Choice Test im Tuwel zu absolvieren. Anders als bei anderen LVAs hat man nur 3 Versuche, muss mindestens 2 von 3 Punkten erreichen, und hat beim Test ein Zeitlimit. Der Stoff des Tests ist aus den ersten Vorlesungseinheiten, und für manche schon ein echtes Hindernis. Fragen und Antworten bei den Materialien (Einführungstest2014)

Die Vorlesung wird zu Beginn des Semesters geblockt abgehalten.

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]

Vortrag[Bearbeiten | Quelltext bearbeiten]

Es hilft, bei allen Vorträgen anwesend zu sein. Bringt man etwas Vorwissen über Syntax, Semantik und Deduktion in Aussagenlogik und Prädikatenlogik erster Stufe mit, gestalten sich die diese Themen behandelnden Vorlesungseinheiten eher langweilig.

Übungen[Bearbeiten | Quelltext bearbeiten]

WS2021:

Ähnlich wie WS2015, aber es gab ein paar kleine Unterschiede:

  • Eingangstest gleich
  • Die Programmieraufgabe war in diesem Semester nicht mehr in DLV. Stattdessen wurden ASP Core.2 und clingo verwendet.
  • Es gab in der Übung mehr Aufgaben pro Aufgabenblatt (9, 10, 10). Die einzelnen Beispiele waren dafür weniger Punkte wert. In Summe kann man also immer noch 15 Punkte auf die Übung bekommen. Die Übungsblätter waren auch hier noch optional.
  • Beim Abgabegespräch durfte man die Notizen verwenden (das war online über zoom, live kann das wieder anders aussehen...). Es empfiehlt sich also, Definitionen usw. auf die Abgabe draufzuschreiben wenn man sie nicht auswendig kennt. Das Abgabegespräch war sehr kurz (ein Bsp. präsentieren) und wenn man mehr oder weniger wusste was man getan hat, locker schaffbar.

Seit WS2015:

  • Verpflichtender Eingangstest (Multiple Choice) zu maximal 3 Punkten. Mindestens 2 Punkte sind notwendig um an der LVA teilnehmen zu dürfen.
  • 1 verpflichtende Programmieraufgabe in DLV (Logische Programmiersprache) zu maximal 17 Punkten. Mindestens 9 Punkte sind für eine positive Note notwendig.
    • Es gibt 2 Abgabetermine für die Programmieraufgabe. Es zählt der beste Versuch, jedoch bekommt man bei der zweiten Abgabe nur 80% (also z.B. für eine perfekte Lösung 13.8 Punkte).
  • 3 optionale Übungsblätter zu je 8 Kreuzen (Logic, Nonmonotonic Reasoning, ASP & Probablistic Reasoning) welche auf maximal 15 Punkte umgerechnet werden.
    • Die Übungsblätter sind komplett optional und dienen nur zur Übung und zum Verbessern der Note.
    • Um die Punkte der Übungsblätter zu erhalten muss man ein Abgabegespräch absolvieren.
    • Beim Abgabegespräch wird man über die gekreuzten Beispiele befragt. Aus dem Abgabegespräch ergibt sich eine Punkte-Bewertung (0-15). Diese Punkte werden dann mit dem Prozentanteil der gekreuzten Beispiele multipliziert. Diese Zahl wird dann gerundet. Angegebenes Beispiel in TUWEL: "Student X checked 70% of the examples and the discussion is evaluated with 12 points. Therefore he gets 8 bonus points."
      • Abgabegespräch beim Egly: man musste die Beispiele ohne Mitschriften präsentieren können und auch die notwendige Theorie dafür kennen, also einfach war es nicht, aber Egly war fair und hat immer wieder geholfen, wenn einer nicht gleich die Antwort eingefallen ist.

Prüfung[Bearbeiten | Quelltext bearbeiten]

Eine schriftliche Prüfung, welche an 4 Terminen angeboten wird. Es ist möglich bei allen 4 Terminen anzutreten, aber ab dem 2. Versuch wird jedes Mal ein Zeugnis ausgestellt. In anderen Worten: Beim 1. negativen Antritt gibt es kein Zeugnis, danach bei jedem. Für Details zur Prüfung siehe Materialien bzw. Sektion zu Verbesserungsvorschlägen/Kritik.

Die Schwierigkeit der Prüfung schwankt m.M. nach extrem stark. Mal werden fast nur die kleinsten Details von irgendwelchen Definitionen gefragt die einmal vorgekommen sind, mal muss man ellenlange Folien zitieren, ab und zu gibt's doch recht lange Beweise (auch mal was was in der VO gar nicht vorgekommen ist). Manchmal hat man aber Glück und es kommen fast nur praktische Beispiele, einfache Beweise, und ein bisschen MC. Aber auch hier schwankt die Schwierigkeit. Das Einzige, was immer bei der Prüfung dabei ist, scheint ein Bayes-Netz zu sein bei dem man die Unabhängigkeit prüfen soll. Was ich sagen will ist, dass man sich bei dem Fach hier leider nicht darauf verlassen kann, dass die Prüfung einen bestimmten Schwierigkeitsgrad hat. Leider heißt es da entweder auf Glück hoffen oder wirklich alles lernen (auch die Definitionen).

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

seit WS 2013 ca. 4 Wochen, mit Ausreißer in Richtung 6 Wochen

WS 2017 wurden die gesetzlichen 4 Wochen nicht eingehalten. Begründung: hohe Teilnehmerzahl (zur Prüfung angemeldet waren bis kurz vor Abmeldeschluss ca 80/150) sowie andere Prüfungen

Semester Letzte Leistung Zeugnis
WS17 15.03.2018 18.04.2018 5 Wochen
WS18 08.01.2019 05.02.2019 4 Wochen
WS19 09.01.2020 04.02.2020 4 Wochen
WS19 17.06.2020 16.07.2020 4 Wochen
WS20 18.03.2021 15.04.2021 4 Wochen
WS21 12.01.2022 09.02.2022 4 Wochen (letzter möglicher Tag)
WS21 24.03.2022 22.04.2022 4 Wochen
WS21 02.05.2022 25.05.2022 3,5 Wochen

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

Lernaufwand für die Prüfung ungefähr eine Woche, wenn man immer brav für die Übungen mitgelernt hat. Pro Übungsbeispiel ca. 2h einrechnen, also etwa 8-16h pro Übungsblatt, je nach angepeilter Punktezahl. Es wird sehr großer Wert auf formale Beweisführung gelegt, es empfiehlt sich daher sehr stark die Folien des optionalen Tutorial on proofs durchzuarbeiten. Bevor man also mit dem Übungsblatt 1 starten kann, sollte man einige Tage Vorbereitung einplanen, um sowohl den VO-Stoff als auch das Tutorial on proofs durchzuackern. Warnung: Die Vorlesung und die Übung hängen abgesehen von der "Rahmenhandlung", dass wir im Logikbereich agieren, leider nur marginal zusammen. Alles aus der VO zu können reicht leider nicht, um die Übungsbeispiele zu lösen (die lerntheoretische Botschaft dahinter ist natürlich fatal, also bereitet euch jetzt schon mal mental auf nen ziemlichen Schock vor). Vorher gründlich über Beweis durch Vollständige Induktion, Implikationsbeweise (A->B bzw. -B -> -A), indirekte Beweise (A & -B auf Widerspruch führen) etc. philosophieren anhand der Hilfestellungen unbedingt erforderlich. Weiters natürlich massiv googeln, ist glaube ich auch so gedacht, da manche Beweise sich aus die Finger zu saugen, schlicht unmöglich ist. Nichts desto trotz selbstverständlich darauf achten, dass man die Beweise tatsächlich versteht!

Andere Meinung: Der Zeitaufwand ist bei mir ungefähr hingekommen, für manche Beispiele braucht man echt etwas Bedenkzeit, 2h sind aber eher die Ausnahme. Allerdings, dem Punkt, dass VO und UE nicht zusammenhängen kann ich aber absolut nicht zustimmen! Die Folien genau durchlesen, die vorhanden Beispiele selbst nachvollziehen und etwas Verständnis in der Materie reichen vollkommen um alle Übungsbeispiele ohne weiterer Hilfe zu lösen. Da besonders die Beweise nicht gerade Schema F sind, ist es aber notwendig, die Materie wirklich zu verstehen, dann gehts auch ohne Google.

  • WS18: Einstiegstest ist machbar, da es die meisten Fragen bereits online gibt. (Dauer max. 2h) Ich habe 76% aller Übungsbeispiele (pro Blatt 1-2 Tage) gelöst und durch gute Vorbereitung von ca. 2 Tagen (mehr oder weniger produktiv) beim Abgabegespräch alle Punkte erreicht. Das Abgabegespräch ist unbedingt zu empfehlen, da man sich während der Vorbereitung dazu bereits ein Grundverständnis für die Prüfung aneignet und die Wahrscheinlichkeit mit 0 Punkten raus zu gehen sehr gering ist. Auch das DLV-Projekt stellt keine große Hürde dar, sofern man sich genügend Zeit nimmt (ca. 2-3 Tage), das informatik-forum hat dabei ebenfalls sehr geholfen und Fragen im TISS Forum wurden rasch beantwortet. Die Tutoren in den Fragestunden zu den Übungsblättern sind bemüht und versuchen verständliche Erklärungen abzugeben. Für die Prüfung ist Verständnis der Thematik durch die Folien und üben von praktischen Beispielen am wichtigsten. Lernaufwand für die Prüfung waren in meinem Fall ca. 12 Tage intensive Vorbereitung in den Weihnachtsferien, Prüfungsergebnis "Sehr gut". Gesamtnote ebenfalls "Sehr gut". Da ich so gut wie keine Vorlesungen besucht habe und auch nur bei einer Fragestunde anwesend war, kam bei mir der Aufwand von 5ECTS = 125h relativ gut hin, eventuell war es etwas mehr.

Unterlagen[Bearbeiten | Quelltext bearbeiten]

Vergangene Semester

Tipps[Bearbeiten | Quelltext bearbeiten]

  • Man sollte versuchen beim Programmierprojekt nicht Imperativ zu denken (z.B. wie in C). Es bringt viel mehr, wenn man an das Ergebnis denkt, das man erreichen möchte. Zuerst den kompletten Suchraum aufspannen (z.B. alle möglichen Permutationen des gewünschten Ergebnis) und dann die Ergebnismenge einzuschränken (z.B. alle doppelten Ergebnisse löschen).
  • Nicht zu spät mit der Programmieraufgabe beginnen. Die ist mal leichter, mal viel schwerer. Und der Compiler gibt schon mal sehr kryptische Fehlermeldungen aus, für die man dann ewig nach einer Lösung suchen muss. Wenn man Pech hat, verläuft sich der Compiler auch mal in einer Endlosschleife. Daher lieber rechtzeitig anfangen.
  • Genug Testfälle schreiben! Auch wenn man nur 5 pro Aufgabe abgeben muss.
  • Testfälle mit abgeben, sonst bekommt man keine Punkte!

Highlights / Lob[Bearbeiten | Quelltext bearbeiten]

Die LVA-Leitung ist sehr aktiv, neue Einträge im Forum zu beantworten und erklärt einem gerne Sachen nochmal, bis man diese verstanden hat.

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

  • Meinung aus WS 2021:
    • Die VO Videos und Folien waren 1:1 die gleichen wie im WS 2020. Es wurden nicht mal die Stellen neu aufgenommen, die Audio Fehler hatten. Das fühlt sich für mich irgendwie doch recht halbherzig an. Es gab zwar ausreichend Tutoren-Fragestunden, aber das ersetzt meiner Meinung nach nicht die Möglichkeit Live und während der VO Fragen zu stellen. Es wäre also doch wünschenswert gewesen, wenn die VO über Zoom abgehalten worden wäre (und zusätzlich dazu aufgezeichnet, was ja in Zoom mittels eines Klicks möglich ist).
      • Besonders positiv hervorzuheben ist daher der ASP-Teil. Hier wurde wirklich auf Feedback vom letzten Jahr eingegangen und das waren die einzigen neuen VO Einheiten.
    • Ein VO Video konnte bis zum Tag der ersten Prüfung gar nicht abgespielt werden. Ich glaube, jemand hat das sogar im TUWEL Forum gepostet, und trotzdem blieb das so.
    • Generell wurde im TUWEL Forum eigentlich so gut wie gar nicht auf Fragen der Studierenden eingegangen.
    • Auch die Ankündigung der Prüfungstermine war etwas zu spontan für meinen Geschmack. Bzw. wurden einfach so Termine auf TISS gestellt ohne eine Benachrichtigung.
    • Insgesamt kommt mir die LVA daher sehr halbherzig vor, so als würden die meisten Beteiligten eigentlich lieber was anderes tun in der Zeit. Meiner Meinung nach definitv eine der schlechtesten LVAs im Bachelor.
  • Meinung aus WS 2017:
    • Die LVA hat zwar nur 7 prüfungsrelevante Foliensätze (ca. 230 Folien), die haben es aber doch durchaus in sich. Während bei TIL und FMOD noch mit vielen Beispielen gearbeitet wurde, sind es bei EWBS eher Beweise, die zur Verdeutlichung von Sachverhalten verwendet werden. Die Folien sind außerdem auf Englisch. Grundsätzlich gilt es EWBS keinesfalls zu unterschätzen, auch wenn man nur positiv sein möchte, wird man wohl schwer an den 125 h (= 5 ECTS) vorbeikommen. Eine intensive Woche Vorbereitung für den Test sollte man auch einplanen. Wenn man die Übungsbeispiele nicht oder nur wenige davon gemacht hat, eher zwei Wochen. Die Organisation ist aber ordentlich und Fragen werden im TISS äußerst schnell vom Assistenten beantwortet. Die Tutoren-Stunden sind auch sehr hilfreich.
  • Meinung aus WS 2016:
    • Die Vorlesung sind im Informatik HS gehalten und die Akustik ist ziemlich schlecht. Außerdem nuschelt Tompits die ganze Zeit und man kann fast gar nichts verstehen. Trotzdem sind die Vorlesungen sehr empfehlenswert, weil viele Sachen gut erklärt werden und allein drauf zu kommen ist schon eine Herausforderung!
  • Meinung aus WS 2013:
    • Vortrag: gut
    • Übungsblätter: genug Zeit dafür einplanen, vor allem wenn man mit Beweisen auf Kriegsfuß steht (solide TIL-Kenntnisse reichen in der Regel nicht aus! Formeln mit Tableaux (diese sehen in EWBS übrigens auch anders aus als in TIL) zu beweisen ist nur erlaubt wenn auch explizit in der Angabe, Wahrheitstabellen sind ein absolutes NO-GO und dürfen nicht verwendet werden; indirekte Beweisführung, Vollständige Induktion und der richtige Umgang mit Interpretationen in PL1 ist das tägliche Brot!
    • Programmieraufgabe: auch hierfür genug Zeit einplanen, kommt wahrscheinlich auch auf das Vorwissen an (LogProg). Generell ist es zu schaffen - die Übungsblätter sind wesentlich aufwändiger und schwieriger
    • Tutorenbetreung: Spitze und einfach Klasse, die kümmern sich echt um die Studenten und wollen einem weiterhelfen. Kann nur empfehlen die angebotenen Stunden auch zu nutzen, egal ob man wo nicht weiterkommt oder nicht! Einfach hingehn und zuhören bringt extrem viel, da man vielleicht auch Fehler in seinen Lösungen bemerkt
    • Prüfung: Die Beispiele haben sich beim Egly-Teil ziemlich geändert - vor allem bezüglich Schwierigkeitsgrad. Früher wurde immer ein Textbeispiel gegeben, dass dann in eine Wissensbasis abzuleiten war. Danach noch eine Anfrage, und dann noch semantisch beweisen (manchmal sogar mit Tableau-Kalkül) ob sie aus der Wissensbasis folgt. Jetzt kann man mit allem rechnen, beim 2. Antritt aus WS13 waren z.B. die natürlichen Rechenoperationen und generelle Eigenschaften von natürlichen Zahlen (größer, kleiner, es gibt immer nur einen Nachfolger etc.) in PL1 zu formulieren. Der Tompits-Teil ist aber dennoch recht ähnlich geblieben wie in vorigen Semestern. Hervorzuheben ist generell, dass weitaus mehr Beweise durchzuführen sind, als in alten Prüfungen. Daher nicht nur Theoreme lernen, sondern auch beweisen können!
    • Mein Tipp für die Prüfung: Ignoriert anfgangs das Beispiel 1. Dieses besteht zu einem großen Teil meist aus in der Regel unlösbaren (selbst bei unbegrenzter Zeit) 1++++Schüler Fragen. Daher Anfangs weder wertvolle Zeit noch Konzentration verschwenden und bei Beispiel 2 beginnen. Man muss bei dieser Prüfung leider akzeptieren, dass man von vornherein nur auf etwa 75% der Punkte spielt. Dass es natürlich sehr lästig, frustrierend und unfair ist, dass alles gelernt zu haben, kein Garant dafür ist, alle Beispiele lösen zu können ist natürlich eine andere Sache...aber vielleicht erinnert sich Herr Egly ja doch eines Tages wieder zurück, was realistische Anforderungen in der Studienzeit sind. Eine hohe Durchfallquote gilt in dieser LVA offenbar leider als Qualitätskriterium und nicht als Zeichen einer mangelhaften Vermittlung der für den Test erforderlichen Kenntnisse bzw. es werden einfach unpassende Tests gestellt, was um fair zu bleiben, das eigentliche Problem ist. Die Betreuung ist zwar nicht immer freundlich aber trotz allem durchaus bemüht. Nichts desto trotzt: Positiv zu sein, sollte machbar sein, aber vorher viel üben. Leider auch etwas eine Schnellschreibübung...eine Fähigkeit die sehr essentiell ist, beim Universitätsstudium zu vermitteln...ebenso wie die Botschaft, dass sich lernen nicht lohnt...

DLV ist proprietär. Der Umstieg auf eine open source Alternative wäre wünschenswert.

-> Im W2021 wurde nicht mehr DLV verwendet

Materialien

Neues Material hinzufügen