(Agnostic) PAC Learning Concepts in Higher-Order Logic [chapter]

K. S. Ng
2006 Lecture Notes in Computer Science  
This paper studies the PAC and agnostic PAC learnability of some standard function classes in the learning in higher-order logic setting introduced by Lloyd et al. In particular, it is shown that the similarity between learning in higher-order logic and traditional attributevalue learning allows many results from computational learning theory to be 'ported' to the logical setting with ease. As a direct consequence, a number of non-trivial results in the higher-order setting can be established
more » ... th straightforward proofs. Our satisfyingly simple analysis provides another case for a more in-depth study and wider uptake of the proposed higher-order logic approach to symbolic machine learning.
doi:10.1007/11871842_71 fatcat:b2yaqxw2zbdtffe7prqperente