Ereignislogik

Ereignislogik ist ein formales Rahmenwerk zur Darstellung und zum Schluss über Ereignisse und deren Auswirkungen im Zeitverlauf. Sie behandelt Ereignisse als primäre Vorkommnisse, die den Wahrheitswert von Aussagen über die Welt verändern können, und ermöglicht Folgerungen zu zeitlicher Reihenfolge, Persistenz und Kausalität. Der Ansatz wird in der künstlichen Intelligenz, der Wissensrepräsentation und der temporalen Logik genutzt, um dynamische Domänen wie Prozesse, Pläne und Ereignisprotokolle abzubilden.

In typischen Sprachen umfasst ein Modell Zeitpunkte oder Intervalle, eine Menge von Ereignissen und Fluents, deren Wahrheitswert sich im Laufe der Zeit ändern kann. Prädikate wie happens(e, t) bedeuten, dass Ereignis e zu Zeitpunkt t eintritt, und holds(f, t) drückt aus, dass Fluent f zu Zeitpunkt t wahr ist. Zusätzliche Prädikate wie initiates(e, f, t) und terminates(e, f, t) geben an, wie Ereignisse Fluents beeinflussen. Die Logik unterstützt Beziehungen wie vor, während und nach, um die zeitliche Ordnung zu begründen.

Eine einflussreiche formale Grundlage in diesem Bereich ist der Event Calculus, ein Wissensrepräsentationsrahmen, der Axiome nutzt, um Ereignisse, Fluents und Zeit zu verknüpfen und abzuleiten, welche Fluents zu welchen Zeiten gelten. Weitere Ansätze umfassen temporale Logiken und den Situationskalkül, jeweils mit eigener Semantik und Anwendung. Das overordnete Ziel ist es, sinnvolle und berechenbare Mittel bereitzustellen, um Anfragen wie „Galt Bedingung X nach Ereignis Y?“ zu beantworten.

Anwendungen erstrecken sich über automatisierte Planung, Überwachung und Verifikation von Prozessen, Verständnis natürlicher Sprache sowie Analyse von Ereignisprotokollen. Forschungsthemen umfassen nicht-monotones Schließen bei unvollständigen Informationen, kausale Erklärungen und effiziente Inferenzverfahren. Der Begriff Ereignislogik wird vornehmlich in deutschsprachigen Texten verwendet; in der englischsprachigen Literatur begegnet man oft dem Begriff Event Logic oder explizit Event Calculus.