Progol
| Разработчик(и) | Стивен Магглтон |
|---|---|
| Стабильная версия | 4.4 / 16 мая 2009 г |
| Репозиторий | https://www.doc.ic.ac.uk/~shm/Software/progol4.4/ |
| Написано в | С |
| Тип | индуктивного логического программирования Система |
| Веб-сайт | https://www.doc.ic.ac.uk/~shm/progol.html |
Прогол — это реализация индуктивного логического программирования , которая сочетает обратное следствие с поиском от общего к частному посредством графа уточнения . [1] [2]
Функции
[ редактировать ]Обратное следствие используется с объявлениями режима для получения нижнего предложения, наиболее конкретного предложения в языке режима. [ необходимо определение ] которые включают в себя данный пример. Этот раздел используется для руководства поиском по уточняющему графу.
В отличие от поиска в Эхуда Шапиро ( системе вывода моделей MIS) и Росса Куинлана FOIL Дж . , поиск Прогола имеет доказуемую гарантию возврата решения, имеющего максимальное сжатие. [ необходимо определение ] в пространстве поиска. Для этого он выполняет допустимый A* -подобный поиск, руководствуясь сжатием, по предложениям, которые включают в себя наиболее конкретное предложение.
Прогол имеет дело с зашумленными данными, используя меру сжатия, позволяющую соотнести описание ошибок с длиной описания гипотезы. Progol допускает произвольные программы Пролога в качестве базовых знаний и произвольные определенные предложения в качестве примеров.
История
[ редактировать ]Прогол был представлен Стивеном Магглтоном в 1995 году. В 1996 году его использовали Эшвин Шринивасан, Магглтон, Майкл Штернберг и Росс Кинг. [3] прогнозировать мутагенную активность нитроароматических соединений . Это считалось знаковым приложением для индуктивного логического программирования , поскольку индуктивный обучающийся общего назначения обнаружил результаты, которые были одновременно новыми и значимыми для экспертов в предметной области. [4]
Прогол оказался очень влиятельным в этой области, и широко используемая система индуктивного логического программирования Алеф построена непосредственно на Проголе. [5]
Ссылки
[ редактировать ]- ^ Магглтон, С. (1995). «Обратное следствие и прогол». Компьютеры нового поколения . 13 (3–4): 245–286. CiteSeerX 10.1.1.31.1630 . дои : 10.1007/BF03037227 . S2CID 12643399 .
- ^ Магглтон, С. (1997). «Изучение на положительных данных». Индуктивное логическое программирование . Конспекты лекций по информатике. Том. 1314. стр. 358–376. дои : 10.1007/3-540-63494-0_65 . ISBN 978-3-540-63494-2 .
- ^ Шринивасан, А.; Маггитон, Шотландия; Штернберг, MJE; Кинг, РД (1996). «Теории мутагенности: исследование индукции первого порядка и признаков» . Искусственный интеллект . 84 (1–2): 357. doi : 10.1016/0004-3702(96)81369-5 . ISSN 0004-3702 .
- ^ Де Раедт, Люк (2008), Логическое и реляционное обучение , Берлин, Гейдельберг: Springer, стр. 5, ISBN 978-3-540-20040-6
- ^ Кроппер, Эндрю; Думанчич, Себастьян (15 июня 2022 г.). «Индуктивное логическое программирование в 30 лет: новое введение» . Журнал исследований искусственного интеллекта . 74 : 808. arXiv : 2008.07912 . дои : 10.1613/jair.1.13507 . ISSN 1076-9757 .