Индуктивное логическое программирование

Нисходящий вывод

Подход индукции в ILP, который начинается с очень общего правила и специализирует его для исключения отрицательных примеров, типичный для таких систем, как Progol.

← Назад