Вот есть язык Пролог, он по фактам и предикатам и цели строит дедуктивную цепочку вывода этой цели. То есть, весь набор абстрактных знаний(предикаты) уже заложен в саму программу. А вот интересно, существует ли, что нибудь подобное Прологу, но реализующие индуктивный вывод? В этом случае, программой был бы некий сырой набор фактов(семантическая сеть, например), а из них бы формировались некие обобщения(предикаты), потом используя эти предикаты дедуктивным способом искалась бы цепочка вывода для цели. Тут интересно, что по набору данных можно индуцировать разные наборы предикатов, соответственно и вывод тогда будет разный. Для каждого индуцированного предиката, можно сделать некий "вес", который будет зависеть от объема данных из которых он выведен. Ну и соответственно у самих цепочек вывода тоже появится некий "вес". В общем, интересует, существует ли уже что-то подобное, либо есть какие-то нерешаемые проблемы, вычислительная сложность, например.