www-ai.cs.tu-dortmund.de/PublicPublicationFiles/morik_rieger_93b.pdf
Blearn3.dvi
interval for which the membership is valid. For trace 7 and sensors 5, 6, and 7 we have sclass(7,5,1,26,right side), sclass(7,6,1,26,right side), and sclass(7,7,1,26,right side). To express the fact that a time [...] three groups of literals: s jump(7,5,11,26,diagonal),s jump(7,6,12,26,diagonal), s jump(7,7,13,26,diagonal) and s jump(8,5,11,26,diagonal), s jump(8,6,12,26,diagonal),s jump(8,7,13,26,diagonal) and s jump(19 [...] cases where the robot moves diagonally through the door, e.g. traces 7 and 8, we have the features
incr peak(7,213,5,11,12,86),increasing(7,213,5,12,26,29) and
incr peak(8,326,5,11,12,86), increasing(8,326 …