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.

Die Übung beinhaltet zwei Teile:

• selbständige Erarbeitung von Lösungen gegebener Aufgabenstellungen mittles traditioneller "Kreuzerlübungen",
• Vorrechnen mindestens einer erarbeiteten Lösung an der Tafel, sowie
• Erarbeitung und Präsentation eines 20 minütigen Vortrages zu einem ausgewählten Thema.

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 Beurteilung berücksichtigt

• die An zahl der angekreuzten Beispiele,
• das Vorrechnen mindestens einer Lösung
• den Vortragsentwurf und den eigentlichen Vortrag.