Прогол - Progol
Progol - это реализация индуктивного логического программирования, которая сочетает обратный вывод с поиском от общего к частному с помощью уточняющего графа. Его разработал Стивен Магглетон .
Обратное следование используется с объявлениями режима, чтобы получить наиболее конкретное предложение в языке режима, которое влечет за собой данный пример. Этот пункт используется для управления поиском по уточняющему графу.
В отличие от поисков системы вывода моделей (MIS) Эхуда Шапиро и FOIL Дж. Росс Квинлана, поиск Progol эффективен и имеет доказуемую гарантию возврата решения, имеющего максимальное сжатие в пространстве поиска. Для этого он выполняет допустимый A * -подобный поиск, управляемый сжатием, по предложениям, которые включают в себя наиболее конкретное предложение.
Progol работает с зашумленными данными, используя меру сжатия, чтобы найти компромисс между описанием ошибок и длиной описания гипотезы. Progol допускает произвольные программы Prolog в качестве базовых знаний и произвольные определенные предложения в качестве примеров. Несмотря на это, бенчмаркинг показывает, что эффективность Progol выгодно отличается от FOIL.
использованная литература
 |
Эта статья об искусственном интеллекте незавершена . Вы можете помочь Википедии, расширив ее . |
 |
Эта статья про робототехнику незавершена . Вы можете помочь Википедии, расширив ее . |