Чего не хватает в теории программирования

В программировании довольно плотно освещена тема иерархии программных сущностей. Это хорошо отражено в концепции наследования: в теории ООП подтип является частным случаем типа, и связан с ним отношением «является»(англ «is», например — кошка — это животное(его частный случай)).
Порождение этих обобщений лежит на совести программиста. И логично предположить, что следующим шагом, например в контексте ИИ, будет попытка научить делать эти обобщения компьютер.
Действительно, в человеческом мышлении это один из главных аспектов — выделение общности по неким общим признакам множества различных типов объектов, фактически, это является основой индукции(проверяем, что все слоны и мартышки имеют единое свойство  -- фиолетовый цвет кожи:) — выделяем общность: фиолетовокожие:) соответственно — слоны и мартышки — подтип фиолетовокожих:)) 
Но как ни странно, я никогда не сталкивался с исследованиями, которые бы плотно касались данного вопроса, нет ни подобной парадигмы, ни книг, ничего.

Встречались ли Вы с чем то подобным, и если да, что можно почитать по этой теме?