Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

• Methoden und Techniken von geeigneten logikbasierten Formalismen zur Wissensrepräsentation für eine vorgegebene Aufgabenstellung zielgerichtet auszuwählen und Lösungen hierfür selbständig zu erarbeiten..

In dieser UE werden wir uns mit unterschiedlichen Logiken zur Wissensrepräsentation beschäftigen. Der Inhalt folgt der gleichnamigen VO.

Achtung:

• Dieses Semester findet die UE und die dazugehörige VO im Distancemodus statt. Für den VO Teil werden in wöchentlichen Intervallen (Montags) die Folien mit untergelegtem Audio als Videos ins TUWEL gestellt und die normalen Folien als pdf ins TISS. Die erste Einheit ist für 19.10. geplant. Die VO findet geblockt statt und es ist geplant, dass die VO bis Weihnachten beendet ist.
• Die UE werden erst im November beginnen. Die UE bestehen aus zwei Teilen: einem Kreuzerlübungsteil (3 UE Blätter, Ankreuzen in TUWEL) und einem Vortragsteil.
1. Im Kreuzerlübungsteil müssen die gelösten Beispiele als pdf in TUWEL bis zum 9.1.2021 abgegeben werden und in der anschließenden Woche (Kalenderwoche 2) werden Abgabegespräche mittels Videokonferenz durchgeführt wo die Lösungen der angekreuzten Beispiele besprochen werden.
2. Im Vortragsteil ist zu einem gewählten Thema ein Vortrag in der Länge von 20 Minuten vorzubereiten und abzuhalten (die Themenliste wird im Laufe des Semesters bekanntgegeben). Die Vorträge finden im Jänner in Kalenderwoche 3 und 4 statt.

• Weitere Details zum Ablauf der UE werden noch bekanntgegeben.
• Die UE Blätter werden begleitend zur VO hier in TISS nacheinander bereitgestellt.

Achtung:

• Beginn der UE: ca. Mitte November

ECTS Aufschlüsselung: 3 ECTS = 75 Stunden

• Lösen der Aufgaben 26h
• Präsentation der gelösten Aufgaben 12h
• Vorbereitung der Vorträge 25h
• Präsentation der Vorträge 12h

Die Gesamtnote ergibt sich aus dem arithmetischen Mittel der Benotung zu den Kreuzerlübungen und der Benotung des Vortrags plus den üblichen Rundungsmethoden. Eine positive Gesamtnote erfordert positive Noten für beide Teile.

Die Beurteilung der Kreuzerlübungen ergibt sich aus dem arithmetischen Mittel der Note der abgegebenen Beispiele und der Note des verpflichteten Abgabegesprächs (plus übliche Rundung). Eine positive Benotung der Kreuzerlübungen erfordert positive Noten für die abgegebenen Beispiele und für das Abgabegespräch. Wird kein Abgabegespräch durchgeführt oder keine Lösungen in TUWEL abgegeben, ist die Benotung jedenfalls negativ.

Die Note der abgegebenen Beispiele ermittelt sich laut folgendem Schlüssel (die UE Blätter liefern insgesamt in Summe 40 Punkte):

• < 20 Punkte: N5 (Nicht Genügend)
• >= 20 Punkte: G4 (Genügend)
• >= 24 Punkte: B3 (Befriedigend)
• >= 29 Punkte: U2 (Gut)
• >= 34 Punkte: S1 (Sehr Gut)

Für den Vortrag ist bis spätestens eine Woche vor dem eigenen Vortragstermin ein Entwurf des Vortrages in pdf Format zu übersenden. Die Benotung des Vortrages berücksichtigt auch die Qualität des Vortragsentwurfs und die zeitgerechte Übersendung. Der Entwurf kann auch schon ein fertiger Vortrag sein. Wird kein Vortrag durchgeführt aber ein Vortragsentwurf abgegeben ist die Bewertung jedenfalls negativ.