FU Berlin, Fachbereich Mathematik und Informatik, Institut für Informatik

Vortrag des Informatik-Kolloquiums

Das Gebiet der Wissensrepraesentation und -verarbeitung behandelt Fragen nach der formalen Beschreibung von Wissen jeglicher Art, besonders unter dem Aspekt einer maschinellen Verarbeitung in modernen Computern. Es umfasst damit einen zentralen Bereich des Forschungsgebiets der Kuenstlichen Intelligenz. Trotz seiner kurzen, etwa vierzigjaehrigen Geschichte reichen seine Wurzeln jedoch weit zurueck in traditionsreiche Gebiete wie Philosophie, Logik, Linguistik und Psychologie.

Unter den genannten Gebieten spielt die Logik auch heute noch eine fundamentale Rolle, da sie sowohl Formalismen zur Repraesentation als auch zur Verarbeitung von Wissen zur Verfuegung stellt. Die Auszeichnung von Logik-basierten Formalismen erwaechst allerdings nicht nur aus der homogenen Kombination der beiden letzten Aufgaben, sondern sie beruht vielmehr auch auf einer ausgereiften Semantik, mit deren Hilfe jedem syntaktischen Ausdruck eine Bedeutung zugeordnet werden kann, als auch den dazugehoerigen automatischen Inferenzkomponenten, ohne die eine effektive maschinelle Verarbeitung unrealistisch waere.

In meinem Vortrag werde ich zunaechst die grundlegenden Ideen und Prinzipien der Logik-basierten Wissensrepraesentation und -verarbeitung vorstellen. Das beinhaltet allgemeine Fragestellungen der Logik als auch deren Anwendung in der Informatik, wie der Logischen Programmierung und dem Automatischen Theorembeweisen. Darauf aufbauend moechte ich dann auf die aktuellen Forschungsinhalte meiner Arbeitsgruppe eingehen, naemlich Methoden zur automatischen Verarbeitung unvollstaendigen und widerspruechlichen Wissens.