A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
One focus of inductive inference is to infer a program for a function f from observations or queries about f . We propose a new line of research which examines the question of inferring the answers to queries. For a given class of computable functions, we consider the learning (in the limit) of properties of these functions that can be captured by queries formulated in a logical language L. We study the inference types that arise in this context. Of particular interest is a comparison betweendoi:10.1145/267460.267512 dblp:conf/colt/GasarchL97 fatcat:frsqw5fc3bbuxfi5ezxufdxgui