Commonsense Reasoning SS 19

Dozent: Prof. Dr. Gabriele Kern-Isberner
Tutor(en): Marco Wilhelm
Aktuelles:
  • Bitte entnehmen Sie aktuelle und weiterführende Informationen zur Veranstaltung dem zugehörigen Moodle-Kursraum!
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 SRG1 R. 1.001
Donnerstag 12 - 14 Uhr SRG1 R. 1.001

 

 Achtung! Raumänderung ab dem 11.04.2019!

 Lediglich am 04.07.2019 findet die Vorlesung noch einmal im R. 1.055, OH12 statt!

Übungen:  
Tag Zeit Ort
 Dienstag  10 - 12 Uhr  Otto-Hahn-Str. 12, 3.031
 Dienstag  12 - 14 Uhr  Otto-Hahn-Str. 12, 3.031
Prüfungen:

Master: 

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