We have looked at the process of discovery as an aspect of reasoning about knowledge, particularly in relation to problems of knowledge acquisition or learning. In those problems we have found to be of interest, a body of knowledge to-be-acquired may be infinite. Still, it can be "learned" through discovery of a model that correctly represents the knowledge in some finite way. Realistically, ex...
