Epistemische Logik

Zusammenfassung

Bei der EL werden die Begriffe „Wissen“ und „Glauben“ von Aussagen mit Hilfe dafür geeigneter Modalitäten formalisiert.Die dann entstehenden Kalküle sind den klassischen Kalkülen der ML sehr ähnlich. Auch die semantische Behandlung durch Kripke-Strukturen lässt sich sehr gut von der ML auf die EL übertragen, wobei die Notwendigkeits-Modalität durch einen Operator ersetzt wird, der Wissen ausdrückt; und wie in der ML lassen sich dann das Äquivalenztheorem und weitere mächtige Äquivalenzsätze beweisen.

Die EL kann in der Informatik zum Beispiel zur formalen Beschreibung von Multi-Agentensystemen eingesetzt werden. Dann gibt es nicht nur einen Modaloperator wie in der ML sondern für jeden Agenten einen. Dadurch können die Konzepte von gemeinsamem und von verteiltem Wissen präzise mathematisiert werden. Bei der Behandlung kann man sich sehr weit gehend auf die Methoden der ML stützen.