Epistemische Logik für KI und Informatik J.-J. Ch. Meyer und W. van der Hoek sind ein englischsprachiges Lehrbuch über epistemische Logik und ihre Anwendungen in der Informatik. Das Buch bietet eine Einführung in das Schließen über Wissen und Überzeugungen von Agenten in der Künstlichen Intelligenz und in verteilten Systemen.
Die Autoren behandeln die formalen Grundlagen, darunter Kripke-Semantik und die modale Logik K, T, S4 und S5. Darüber hinaus werden wichtige Konzepte behandelt wie common knowledge, distributed knowledge, expliziter und impliziter Glaube sowie der Zusammenhang zwischen Wissen und Zeit. Außerdem wird auf das Problem des logischen Allwissens und auf Theorien wie die von Halpern und Moses über honest formulae eingegangen.
Praktische Anwendungen in der Künstlichen Intelligenz und Informatik werden ausführlich besprochen. Das Buch enthält verschiedene Übungen mit Lösungen und basiert auf universitären Kursen und Sommerschulen. Dieses Nachschlagewerk eignet sich für Fachleute, die eine breite Einführung in die epistemische Logik im Zusammenhang mit knowledge and reasoning in der Informatik suchen.
Reihe: Cambridge Tracts in Theoretical Computer Science