Representation for closed form significance testing in VL1

Within the constraints of the syntax language, the set of observation descriptions which determines the discriminations which can be made, and the number of observations classified, a method is to be devised for determining the relative frequency over instantiation with which a rule of equal or greater generality would be identified. Generality, here, is defined as the number of observations described by a rule. A covering algorithm (Aq, Michalski 1973) was used to identify pilot strategy (system of rules) in maneuvering to avoid intruders.