www-ai.cs.tu-dortmund.de/PublicPublicationFiles/lindner_robers_94b.pdf
ls8_report_neu.dvi
Test 1 RDT 0.5 1 0.2 0.2 0.1 0.56
FOIL 0.8 1 0.2 0.2 0.16 0.53
Test 2 RDT 0.56 1 0.2 0.2 0.112 0.71
FOIL 1 0.99 0.2 0.2 0.2 0.15
Test 3 RDT 0.82 1 0.2 0.2 0.164 1
FOIL 0.91 1 0.2 0.2 0.182 0.1
Test 4 RDT [...] 73 1 0.2 0.2 0.146 0.62
FOIL 0.82 1 0.2 0.2 0.164 0.5
Test 5 RDT 0.57 1 0.19 0.19 0.1082 0.67
FOIL 0.57 0.98 0.19 0.19 0.1083 0.13
Mittel{ RDT 0.65 1 0.2 0.2 0.13 0.71
werte FOIL 0.82 0.99 0.2 0.2 0.164 [...] 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) & …