Здравствуйте, karpik, Вы писали:

K>кто-нибудь знает что такое "индуктивное логическое программирование"?
K>ILP(inductive logic programming). На западе уже как лет 15 всякие
K>конференции проводятся , а на русском внятного описания так и не нашел.

Prolog видел? Вот ILP в частности можно использовать для вывода правил для prolog, которые будут "покрывать" предоставленные "позитивные" и "негативные" примеры. Типа автоматический поиск знаний. Делается это путем попытки обобщить исходные наиоболее конкретные правила. (фуф, коряво оно както на русском звучит).

На входе есть база background знаний. И наборы позитивных и негативных примеров. На первом шаге составляется наиболее общее правило, покрывающее хотябы один позитивный пример. Затем делается попытка его обобщить — подставить переменные, вместо констант, сократить, и т.д. При этом целью ставится найти наиболее короткое (по количеству входящих предикатов и их переменных/констант) правило, которое будет покрывать максимум позитивных примеров и минимум негативных (кажется, правило принимается при 0 покрытых негативных примеров). Когда правило найдено, оно запоминается в базе знаний, а покрытые позитивные примеры удаляются. Дальше, если еще есть позитивные примеры, берется очередной, и процесс повторяется. Если позитивные примеры закончились, то процесс вывода останавливается...