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

Может быть тема больше подходит для форума "Философия программирования", тогда прошу ее туда перенести.

Здравствуйте, Аноним, Вы писали:

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

Статью Inductive logic programming, а также ссылки на реализации уже прочитал?

kl>Статью Inductive logic programming, а также ссылки на реализации уже прочитал?

Вот что-то такое и искал, благодарю.

Здравствуйте, Аноним, Вы писали:

А>В этом случае, программой был бы некий сырой набор фактов(семантическая сеть, например), а из них бы формировались некие обобщения(предикаты)

Вот это очень напомнило основную задачу Big Data.

http://en.wikipedia.org/wiki/Big_data

Здравствуйте, Аноним, Вы писали:

А>В этом случае, программой был бы некий сырой набор фактов(семантическая сеть, например), а из них бы формировались некие обобщения(предикаты), потом используя эти предикаты дедуктивным способом искалась бы цепочка вывода для цели.

Почитай того же Братко, у него есть пару глав на эту тему в контексте Prolog. Просто в общем виде решения быть не может, для любого конечного набора фактов найдется бесконечное число систем, которые их описывают. В случае зашумленных данных даже вредно искать систему, которая бы все их описывала. Так что в каждом конкретном случае свои требования. А значит своя особенная система, возможно реализованная на базе общих идей и библиотек.