Einführung in die Methoden der Künstlichen Intelligenz - Goethe ...

6
Qualitatives zeitliches Schließen
Um Repräsentation von Zeit und zeitlichen Zusammenhängen kommt man nicht herum.
Es gibt viele Logiken hierfür, beispielsweise können Varianten der Modallogik Zeitpunkte
als Zustände repräsentieren und erlauben Schlussfolgerungen aus gegebenen Aussagen.
Wir betrachten in diesem Kapitel die Zeitlogik von James F. Allen (Allen, 1983), die auch
Allensche Intervall-Logik genannt wird. In dieser Logik werden nicht konkrete Zeitpunkte
oder Dauern repräsentiert, sondern es werden Aussagen über die relative Lage von Zeitintervallen
getroffen. Dabei sind die Intervalle als Variablen (Namen) gegeben und es
gibt Operatoren, um die relative Lage der Intervalle auszudrücken. Mithilfe üblicher aussgagenlogischer
Junktoren können solche atomaren Aussagen zu komplexen Formeln zusammengesetzt
werden. Nicht repräsentiert sind die genaue Dauer eines Intervalls oder
dessen absolute zeitliche Lage. Sinnvoll ist der Einsatz der Allenschen Logik, wenn man
nur die Information hat, wie verschiedene Aktionen, die eine gewisse Zeit dauern, zeitlich
zueinander liegen können, und man daraus Schlussfolgerungen herleiten will. Sind
die Intervalle genau bekannt, dann braucht man diese Logik nicht.
6.1 Allens Zeitintervall-Logik
Wir betrachten zunächst ein Beispiel, welches in Allenscher Intervall-Logik darstellbar ist.
Beispiel 6.1.1. Wir nehmen ein Teil eines Rezeptes zum Apfelkuchenbacken.
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 Stand: 17. Januar 2013