Diese Lehrveranstaltung behandelt Ansätze und Methoden zur Darstellung und Verarbeitung von sog. Alltagswissen und setzt sich mit grundlegenden Fragestellungen intelligenter Wissensverarbeitung auseinander. Von zentraler Bedeutung ist die Behandlung von Unsicherheit und Unvollständigkeit des Wissens. Dies macht die Verwendung nichtklassischer Methoden notwendig, wobei explizite Wissensdarstellung und Transparenz der Folgerungsprozesse Basisanforderungen darstellen. Zu den in der Vorlesung angesprochenen Themen gehören beispielsweise

• plausibles Schlussfolgern,
• probabilistische und possibilistische Ansätze,
• nichtmonotone und parakonsistente Logiken,
• kausales Schlussfolgern
• Argumentation und Wissenslogik

Die Veranstaltung soll Fähigkeiten in der Auseinandersetzung mit der Problematik der Unsicherheit von Wissen vermitteln. Dies umfasst die Ausbildung von Verständnis für unterschiedliche Facetten des Problems und das Erlernen geeigneter Methoden zur jeweiligen Lösung. Die Teilnehmer sollen formale Ansätze jenseits von Aussagen- und Prädikatenlogik kennen lernen, die eine adäquatere Abbildung von Vorgängen des Commonsense Reasoning gestatten, als dies mit klassischen Methoden möglich ist.

Die Übungsanmeldung erfolgt über das AsSESS im Zeitraum vom 17.04.2017 bis zum 21.04.2017.

Für die Abgabe der bearbeiteten Übungsblätter wird der obere Briefkasten rechts neben dem Sekretariat (Raum 3.009 ) in der OH12 (3. Obergeschoss) zur Verfügung gestellt. Abgabe: Montags, 10:00 Uhr.

ACHTUNG! Der erste Übungstermin findet am 25.04.2017 statt!

• Vorlesungsfolien
• Annotierte Folien
• Übungsblätter
• Videos aus dem SoSe 2010 (Achtung: Videos einer alten Iteration! Keine Gewähr auf Vollständigkeit!)
• Skript aus dem SoSe 2011 (Achtung: Altes Skript! Keine Gewähr auf Vollständigkeit oder Korrektheit!)