Advertisement
Published in:
2013 | OriginalPaper | Chapter
8. Epistemische Logik
Author : Prof. Dr. Dr. Michael Schenke
Published in: Logikkalküle in der Informatik
Publisher: Springer Fachmedien Wiesbaden
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.