www-ai.cs.tu-dortmund.de/PublicPublicationFiles/luebbe_95b.pdf
ls8report_15.dvi
<time>
standing/7: !<trace>, !<time>, <time>, <direct>, <direct>, <direct>,
<percecption>
moving/7: !<trace>, !<time>, <time>,<speed>, <direct>,
<percecption>, <direct>
parallel moving/7: !<trace>, !<time> [...] 356) white king(4; 5; 457356);white rook(7; 3; 457356);
black king(5; 6; 457356); adjacent(2; 3); adjacent(3; 4);
adjacent(4; 5); adjacent(5; 6); adjacent(6; 7)
illegal(502520) white king(5; 0; 502520);white [...] Regelmodellen
ubergegangen wird.
Zur Veranschaulichung dieses Verfahrens diene Beispiel 4.7:
Beispiel 4.7 Seien
r
1
:gromutter(X,Y) vater(Z,Y) & mutter(X,Z)
r
2
:gromutter(ann,Y) vater(tom,Y) & mutter(ann …
