www-ai.cs.tu-dortmund.de/en/PublicPublicationFiles/luebbe_95b.pdf
ls8report_15.dvi
Faktenkette:
responsible(sw,event1)
involved vehicle(event1,b au 6773) &
owner(sw,b au 6773) &
car parked(event1,place1) &
car towed(event1,b au 6773) &
ne(event1,20) &
bus lane(place1) &
sedan(b au 6773).
Die [...] is
1 Hintergrund, Zielsetzung und Aufbau der Arbeit 1
1.1 Problemstellung und Zielsetzung der Arbeit : : : : : : : : : 2
1.2 Ein einf
uhrendes Beispiel : : : : : : : : : : : : : : : : : : : : 6
1.3 Aufbau [...] MOBAL
Q(X) <− P1(X)
Q(X) <− pred(X)
Q(X) <− P1(X) & P2(X,Z) & P2(X,Y)Q(X) <− P1(X) & P2(X,Z)
Q(X,Z) <− P(X,Y) & P(Y,Z) Q(X,Z) <− P1(X,Y) & P2(Y,Z)
Q(X) <− P1(X) & P2(X,Y) & P3(X,Y)
Abbildung 3.1: Generalis …