www-ai.cs.tu-dortmund.de/PublicPublicationFiles/lindner_robers_94b.pdf
ls8_report_neu.dvi
ur den Begri illegal an:
3.3 Durchgef
uhrte Tests 7
ill1(pos1, pos2, ben, il) : pos1(x1, y1, st) & pos2(x3, y3, st) &
ben(x1, x3) & ben(y1, y3)
--> il(st).
ill2(pos1, pos2, pos3, neq, lth, il): pos1(x, [...] y1, st) & pos2(x, y2, st) &
pos3(x, y3, st) & lth(y2, y1) &
lth(y3, y1) & neq(y3, y2)
--> il(st).
3.3 Durchgef
uhrte Tests
Wie im Abschnitt 2.1 beschrieben, werden die genauen Umst
ande jedes einzelnen [...] ur ein Metapr
adikat von RDT:
metapraedikat_1(p1,p2,p3,p4,p5,p6,p7,e1,e2,e3,e4,q):
p1(p,e1) & p2(e1,o) & p3(p,e2) & p4(e2,o) & p5(p,e3) & p6(p,o,e3)
--> q(p,o)
Eine Regel sollte akzeptiert weden, wenn …