Algorithms for learning logical formulas
Joël Quinqueton, Jean Sallantin · International Joint Conference on Artificial Intelligence · 1983
We present here a learning technique which is both statistic and syntactic, by using simultaneously logical operators and counting procedures. Its modular structure makes it usable for creating the necessary redundancy for controlling the generalization of the formulas.