This is a neat idea, but I think it's missing a large and important area for generalization, and that's the process of seeking and exploring exceptions or counter-examples (see my other comments for examples).
Language defines things through subtraction, inversion, comparison, and contrast as much as construction and straightforward language.
Engineering and computer science rely too heavily on induction, but deduction and other non-linear processes are largely missing from these kinds of analyses/approaches. And until they are accounted for I don't think we'll reach any kind of true approach to generalization.
Comments
This is a neat idea, but I think it's missing a large and important area for generalization, and that's the process of seeking and exploring exceptions or counter-examples (see my other comments for examples).
Language defines things through subtraction, inversion, comparison, and contrast as much as construction and straightforward language.
Engineering and computer science rely too heavily on induction, but deduction and other non-linear processes are largely missing from these kinds of analyses/approaches. And until they are accounted for I don't think we'll reach any kind of true approach to generalization.