Wissensmodellierung

Die KI war für mich schon immer eins der spannendsten Bereiche der Informatik. Ein Computer, der die Grenze zwischen menschlichem Denken und Computer-Automatisierung verschwimmen lässt, mit dem man sich unterhalten kann, der selbst kreative Ideen hervorbringt… Science Fiction? JA!

In der Realität verfolgt die KI-Forschung seit vielen Jahren solche Ziele. Die Euphorie war anfänglich gewaltig, das war in den 60er Jahren, und ist sehr bald sehr stark gesunken. Nämlich als klar wurde, dass das alles nicht so einfach ist. Kognitive Fähigkeiten, wie der Mensch sie zustande bringt, erweisen sich für die Informatik als Kombination eng verknüpfter Teilgebiete. Und es scheint, dass erst brauchbare Ergebnisse erzielt werden, wenn jedes Einzelne dieser Problemstellungen gelöst ist.

Eine dieser Teildisiplinen dreht sich um Wissen. Wenn ein Computer Wissen verarbeiten soll, so muss es formalisiert werden. Eine Möglichkeit das zu tun, ist es in einer Ontologie zu sammeln und so heisst auch die Vorlesung, aus der ich das aufgeschnappt habe.

Begriffserklärungen

Wissen, Schliessen, Wahrheit

Es zeigt sich, dass der Begriff ‘Wissen’ selbst schon ein sehr schwieriger ist. Generationen von Philosophen haben sich daran versucht und bis heute hat sich keine allgemeine Definition durchsetzen können.

Die Informatik begnügt sich damit, das Wissen zu formalisieren. Ein verbreitetes Werkzeug dafür ist die First Order Logic (FOL). Sie zeichnet sich dadurch aus, dass ein automatische Schliessen möglich wird, woran wir ja ein starkes Interesse haben.

Wissen hat etwas mit Wahrheit zu tun. Wenn ich ‘etwas weiss’, bedeutet das korrekt ausgedrückt, dass ich von einem Satz weiss, dass er in einer Welt wahr ist, also

Der Satz an sich ist in diesem Fall aussagenlogisch ausgedrückt. Korrektes Schliessen vererbt nun die Wahrheit der Prämissen auf die Konklusion:

ist ein gültiger Schluss in der Aussagenlogik.

„Ein Satz ist genau dann wahr, wenn er in der Tat wahr ist“ – Aristoteles

Ein paar Beispiele, wie man in FOL sachverhalte ausdrücken würde:

Sei eine Domäne, also ein Gegenstandsbereich, über den es Wissen gibt.

• Dieser Rabe r ist schwarz:
• Alle Raben sind schwarz:

Später noch mehr Beispiele.

Ontologie

Der Begriff ist aus der Philosophie entliehen. Schon Sokrates verstand unter ‘Ontologie’ die Sammlung grundlegender Strukturen der Welt.

In der Informatik wird darunter eine formale Wissensbasis verstanden, also eine Sammlung von Aussagen einer formalen Sprache.