Commonsense Reasoning SoSe 2020

Dozent: Prof. Dr. Gabriele Kern-Isberner
Tutor(en): Andre Thevapalan, Marco Wilhelm
Aktuelles:
  • Für aktuelle und weiterführende Informationen ist ein Moodle-Kursraum eingerichtet.
Beschreibung:

Die Vorlesung wird Ansätze und Methoden zur Darstellung und Verarbeitung von sog. Alltagswissen behandeln und sich mit grundlegenden Fragestellungen intelligenter Wissensverarbeitung auseinandersetzen. 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 u. a.

  • plausibles Schlussfolgern,
  • probabilistische Ansätze,
  • nichtmonotone und parakonsistente Logiken,
  • logische Axiome des Commonsense Reasoning und
  • Argumentation

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.

Termine:
TagZeitOrt
Montag 10 - 12 Uhr E.003 (OH12)
Donnerstag 12 - 14 Uhr E.003 (OH12)  

 

Vorlesungsbeginn: 20.04.2020

Übungen:  
Gruppe Tag Zeit Ort
1 Dienstag 10 - 12 Uhr 3.031 (OH12)
2 Dienstag 10 - 12 Uhr C1-06-102 (Chemie)
3 Dienstag 12 - 14 Uhr 3.031 (OH12)
4 Dienstag 12 - 14 Uhr C1-06-102 (Chemie)


Die Übungen beginnen in der zweiten Vorlesungswoche.

Prüfungen:

Im Studiengang Master Informatik: 

  • Modulprüfung: Mündliche Prüfung oder Klausur
  • Studienleistungen: keine