Голем (ILP) - Golem (ILP)

Голем - это алгоритм индуктивного логического программирования , разработанный Стивеном Магглетоном и Фэном. Он использует технику относительного наименее общего обобщения, предложенную Гордоном Плоткиным . Поэтому используются только положительные примеры и поиск идет снизу вверх. Отрицательные примеры можно использовать для уменьшения размера гипотезы, удалив бесполезные литералы из предложения body.