(Agnostic) PAC Learning Concepts in Higher-Order Logic

It is shown that the similarity between learning in higher-order logic and traditional attribute-value learning allows many results from computational learning theory to be ‘ported' to the logical setting with ease, and a number of non-trivial results can be established with straightforward proofs.