Inductive inference of VL decision rules

The problem considered is a transformation of a set of user given decision rules into a set of new rules which are more general than the original ones and more optimal with regard to a user defined criterion. The decision rules are expressed in the VL 21 logic system which permits a more general rule format than typically used, and facilitates a compact and easy to understand expression of descriptions of different degrees of generality. The paper gives a brief descriFtion of methodology for rule induction and of a computer program.