www-ai.cs.tu-dortmund.de/PublicPublicationFiles/morik_rieger_93b.pdf
Blearn3.dvi
concepts c1 or c2:
r1) p1(X,Y1) & p2(Y1,Y2) & p3(Y2,Y3) ! c1(X,Y1,Y3) and
r2) p1(X,Y1) & p2(Y1,Y2) ! c1(X,Y1,Y2) and
18
r3) p1(X,Y1) & p4(Y1,Y2) & p3(Y2,Y3) ! c1(X,Y1,Y3) and
r4) p1(X,Y1) & p2(Y1,Y2) & p3(Y2 [...] by edges 2 and 3, and then the concave corner produced by edges 5 and 6. Meanwhile, the sensors on the left side perceive the jump caused by edges 3 and 1, and the jump caused by edges 1 and 5. The sensors [...] to our example rule:
P1(Trace,SAlpha,S,T1,T2,Value1)& P2(Trace,SAlpha,S,T2,T3,Value2)&
P1(Trace,SAlpha,S,T3,T4,Value2)! P3(Trace,S,T1,T4,M).
According to Kietz and Wroble [Kietz and Wrobel, 1991], rule schemata …