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

6 Qualitatives zeitliches Schließen
• Aus A1 ≺ A5 ∧ A5 {m, ≺} A6 erhält man A1 ≺ A6
• Aus A2 {m, ≺} A5 ∧ A5 {m, ≺} A6 erhält man A2 ≺ A6
• Aus A4 {m, ≺} A5 ∧ A5 {m, ≺} A6 erhält man A4 ≺ A6
Mehr kann man nicht herleiten, d.h. der Allensche Abschluss ist gerade das Constraint
A1 m A2 ∧ A1 ≺ A5 ∧ A1 ≺ A6 ∧ A2 {m, ≺} A5 ∧ A2 ≺ A6 ∧ A4 {m, ≺} A5 ∧ A4 ≺ A6 ∧
A3 {m, ≺} A6 ∧ A5 {m, ≺} A6.
Beachte: Hinzufügen von Beziehungen Ai R Aj macht keinen Sinn, da diese direkt wieder gelöscht
werden.
Ein Bild zu den Relationen ist das folgende, wobei Pfeile A1 → A2 bedeuten: A1 findet vor A2
statt (also m oder ≺). Die gestrichelten Pfeile, deuten die Beziehungen an, die der Allensche Kalkül
herleitet.
A1 A2
A4
A5
A6
A3
Beispiel 6.3.9. Wir betrachten weiterhin die sechs Aktionen zum Kuchenbacken und nehmen
an, dass nur eine Person alleine backt, d.h. es gibt keine parallelen Aktionen. Dann wären die
entsprechenden Relationen:
A1 m A2
A2 {m, ≺} A5
A4 {m, ≺} A5
A3 {m, ≺} A6
A5 {m, ≺} A6
A1 {≺, m, ˘m, ≻} A3
A1 {≺, m, ˘m, ≻} A4
A1 {≺, m, ˘m, ≻} A5
A3 {≺, m, ˘m, ≻} A4
A3 {≺, m, ˘m, ≻} A4
Eine Möglichkeit, die man durch Hinzufügen von Sequentialisierung bekommt, ist im Bild dargestellt:
A1
A2
A4 A3 A5 A6
Stand: 17. Januar 2013 204 M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13