7 Logik erster Ordnung - BIOTEC

7.5 Repräsentation der Veränderungen in der Welt 24
Der Agent benötigt folgendes Wissen (2):
• Damit lässt sich formulieren, welcher Ort vor einem
Agnten p liegt, der sich in Situation s am Ort l befindet:
∀p,l, sAt(p,l, s) ⇒ LocationsAhead(p, s) =
LocationToward(l, Orientation(p, s))
• Nachbarschaftsbeziehungen zwischen Orten kann
man ebenfalls mit der Funktion definieren:
∀ l 1 , l 2 Adjacent(l 1 , l 2 ) ⇔ ∃ d l 1 =
LocationToward(l 2 ,d)
• Informationen über den Inhalt von Orten. Es
wird angenommen, dass auf den Quadraten des 4×4-
Gitters sich keine Wände befinden, aber auf allen diese
umgebenden Quadraten.
∀x, yWall([x, y]) ⇔ (x = 0 ∨ x = 5 ∨ y =
5 ∨ y = 0)
Grundlagen der KI WS 2007/2008