Achtung - Neuer LVA-Modus:
Der LVA-Modus hat sich gegenüber vorherigen Semestern geändert!
Support und Fragen zur LVA: ewbs-2015w@kr.tuwien.ac.at
Achtung:
- Beginn der LV: Oct 6 2015. Die einzelnen Termine können sich noch ändern.
- Verpflichtende Anmeldung via TISS zu im Zeitraum Sep 21 bis Oct 2 2015. Verspätete Anmeldungen können nicht berücksichtigt werden.
- Verpflichtender Eingangstest via TUWEL: Thu Oct 8 2015 und Fri Oct 9 2015, jeweils 00:00-23:55
- Ein positiver Eingangstest impliziert die Ausstellung eines negativen Zeugnisses, falls Sie danach nicht weiter an der LVA teilnehmen.
Vermittlung von Kenntnissen und Techniken, die für wissensbasierte Systeme relevant sind.
Didaktisches Vorgehen
- Vorlesung mit Frontalvortrag
- Laborübungsteil: Programmierprojekt
- Optionale Übungsaufgaben (bringen Zusatzpunkte): Bearbeitung zu Hause und anschließendes Abgabegespräch
Grundlagen wissensbasierter Systeme (Logik, Nichtmonotones Schließen, Answer-Set Programmierung, Probabilistische Methoden, Entwicklung wissensbasierter Systeme).
Vortragende:
VO-Teil: Uwe Egly und Hans Tompits
UE-Teil: Uwe Egly, Hans Tompits, Christoph Redl
Ablauf und Inhalt der LVA
- Oct 6: Vorbesprechung + Einführung (Tompits)
- Oct 7: Logik 1: Grundbegriffe + Beweismethoden 1 (Egly)
- Oct 8+9: Verpflichtender Eingangstest (TUWEL)
- Oct 13: Logik 2: Beweismethoden 2 (Egly)
- Oct 14: Logik 3: Prädikatenlogik als Spezifizierungssprache (Egly)
- Oct 20: Nichtmonotones Schließen 1 (Tompits)
- Oct 21: Nichtmonotones Schließen 2 (Tompits)
- Oct 27: Nichtmonotones Schließen 3 (Tompits)
- Oct 28: Answer-Set Programmierung 1 (Tompits)
- Nov 3: Answer-Set Programmierung 2 (Tompits)
- Nov 4: Probabilistische Methoden 1 (Tompits)
- Nov 10: Probabilistische Methoden 2 (Tompits)
- Nov 11: Entwicklung wissensbasierter Systeme 1+2 (Egly)
- Nov 27 23:55: Deadline ASP Project Abgabetermin 1 (TUWEL)
- Dec 6 23:55: Deadline für Ankreuzen der Übungsbeispiele und Registrierung für ein Abgabegespräch (TUWEL)
- Dec 7 to Dec 11: Abgabegespräche
- Dec 14 15:00-17:00, EI 7: Präsentation ausgewählter Übungsbeispiele - Logik
- Dec 15 17:30-19:30, HS 8: Präsentation ausgewählter Übungsbeispiele - Nichtmonotones Schließen
- Dec 16 14:00-16:00, Informatikhörsaal: Präsentation ausgewählter Übungsbeispiele - Answer Set Programming und Probablisitisches Schließen
- Dec 11 23:55: Deadline ASP Project Abgabetermin 2 (TUWEL)
- Jan 12 16:00-18:00: Prüfung
Verpflichtende Anmeldung zur LVA zwischen Sep 21 - Okt 2
UE-Teil
Projekt
Es ist eine Programmieraufgabe aus dem Gebiet der Answer-Set Programmierung zu lösen:
- Abgabe erfolgt elektronisch mittels TUWEL
- Automatische Bewertung anhand von Testfällen
- Provisorischer Punktestand per Mail
- Möglichkeit einer (wiederholten) 2. Abgabe 2 Wochen später (p_i = erreichte Punkte für i-te Abgabe (i=1,2)):
- Maximum der Punkte mit dem gewichteten Mittel bei zweimaliger Abgabe: max { p_1, 0.8*p_2, (p_1 + 0.8*p_2)/1.8 }
- wenn nur 1.Abgabe: p_1
- wenn nur 2. Abgabe: 0.8 * p_2
- 1. Abgabe: KW 48 2015; 2. Abgabe: KW 50 2015
Wichtig:
- Einhaltung der Namenskonvention laut Angaben!
- Keine Gruppenarbeiten, Beispiele müssen selbständig ausgearbeitet werden!
- Fixierung der Punkte erst nach Plagiatsüberprüfung: ev. Punkteabzug bis hin zu negativer Gesamtbeurteilung!
- Bei Punkteabzügen wegen Plagiatsverdacht: Verpflichtendes Abgabegespräch
Verwendetes Tool:
Übungsaufgaben
Es werden im Laufe des Semesters Übungsaufgaben via TUWEL ausgegeben. Diese können optional zu Hause gelöst werden. Es ist in TUWEL anzukreuzen, welche Beispiele gelöst wurden, wobei bis zur Deadline die Kreuze beliebig verändert werden können.
Anschließend finden Abgabegespräche zu den Beispielen statt; dazu werden in der Woche vom Dec 7 bis zum Dec 11 Slots in der Länge von je einer Stunde (jeweils 3 Studierende gleichzeitig) angeboten. Sowohl das Ankreuzen als auch die Anmeldung zu einem Abgabeslot ist via TUWEL bis zum Dec 6, 23:55 (strikt). (Das Ankreuzen und die Anmeldung zum Abgabegespräch sind in TUWEL separat zu erledigen, haben aber dieselbe Deadline!)
Beim Abgabegespräch werden Fragen zu den angekreuzten Beispielen und deren Lösungen gestellt. Danach werden 0-15 Punkte für das Abgabegespräch vergeben, mit dem Anteil der angekreuzten Beispiele gewichtet und auf die nächste ganze Zahl gerundet. Die so errechneten Punkte fließen als Zusatzpunkte in das Gesamtergebnis ein (siehe Beurteilungsmodus unten).
Beispiel: Student X hat 70% der Beispiele gekreuzt und bekommt 12 Punkte beim Abgabegespräch. Er erhält somit 8 Zusatzpunkte.
Bei Nicht-Teilnahme am Abgabegespräch können keine Zusatzpunkte erreicht werden!
Die Lösungen zu den Übungsaufgaben werden auszugsweise von den Vortragenden in speziellen Übungseinheiten nach den Abgabegesprächen vorgerechnet (Logik: Dec 14, Nichtmonotones Schließen: Dec 15, Probabilistisches Schließen: Dec 16).
Literatur
- C. Beierle, G. Kern-Isberner: Methoden wissensbasierter Systeme, 4. Auflage. Vieweg 2008
- S. Russell, P. Norvig: Artificial Intelligence: A Modern Approach (Third Edition). Prentice Hall, 2009
- N. J. Nilsson: Artificial Intelligence - A New Synthesis. Morgan Kaufmann Publishers, 1998
- M. Genesereth, N. J. Nilsson: Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, 1987
- ...
There are additional slides on proof techniques (together with exercise sheets) available for tudents participating in the optional tutorial on proofs (in the frame of the master lecture on formal methods in CS).
ECTS breakdown: 5 ECTS = 125 Hours
- Einführungsvorlesung 0.5h
- Vorlesungen19.5h
- Eingangstest 0.5h
- Übungsteil 54h
- Prüfungsvorbereitung 49h
- Prüfung 1.5h
Benotung
UE-Teil
- Der verpflichtende Eingangstest liefert maximal 3 Punkte.
- Das Programmierbeispiel liefert maximal 17 Punkte.
- Die Übungsaufgaben liefern insgesamt maximal 15 Zusatzpunkte.
Keine Toleranz für unehrliche Methoden (z.B. kopierte Lösungen): Punkteabzug für alle involvierten Personen (bis hin zu negativer Benotung).
VO-Teil
- Prüfung: schriftlich, ohne Hilfsmittel
- Wichtig: schriftliche Prüfung prüft theoretisches Verständnis des Lehrinhalts
- Die Prüfung liefert maximal 80 Punkte.
Die Gesamtpunkte ergeben sich aus der Summe der Punkte des Eingangstests (max. 3), des Programmierbeispiels (max. 17), der Übungsaufgaben (max. 15 Punkte) und der Prüfung (max. 80). Insgesamt können somit maximal 100 Punkte+15 Zusatzpunkte erreicht werden.
Notenschlüssel
Für eine positive Beurteilung müssen alle der folgenden Bedingungen erfüllt sein:
- >= 2 Punkte auf den Eingangstest;
- >= 9 Punkte auf das Projekt;
- >= 40 Punkte auf die schriftliche Abschlussprüfung.
Aufgrund dieser Kriterien können die Zusatzpunkte aus den Übungsaufgaben somit *nicht* dazu beitragen, positiv zu werden! Sie können jedoch eine bereits positive Note verbessern.
Die LVA wird wie folgt benotet:
- < 51 Punkte: N5 (Nicht Genügend)
- >= 51 Punkte: G4 (Genügend)
- >= 63 Punkte: B3 (Befriedigend)
- >= 75 Punkte: U2 (Gut)
- >= 88 Punkte: S1 (Sehr Gut)