Алеф (ИЛП)
| Оригинальный автор(ы) | Ашвин Шринивасан |
|---|---|
| Разработчик(и) | Ашвин Шринивасан, Фабрицио Ригуцци |
| Стабильная версия | 5 / 16 мая 2007 г |
| Репозиторий | https://github.com/friguzzi/aleph |
| Написано в | Пролог |
| Тип | индуктивного логического программирования Система |
| Веб-сайт | www |
Алеф (обучающаяся машина для выдвижения гипотез) [1] это система индуктивного логического программирования, представленная Ашвином Шринивасаном в 2001 году. По состоянию на 2022 год [update] это по-прежнему одна из наиболее широко используемых систем индуктивного логического программирования. Он основан на более ранней системе Прогол . [2]
Учебная задача
[ редактировать ]Входными данными для Алеф являются базовые знания, заданные в виде логической программы , языковая предвзятость в форме объявлений режимов, а также положительные и отрицательные примеры, определенные как основные факты. [2]
На выходе он возвращает логическую программу, которая вместе с базовыми знаниями не содержит всех положительных примеров и ни одного отрицательного примера. [2]
Основной алгоритм
[ редактировать ]Начиная с пустой гипотезы, Алеф действует следующим образом: [2]
- Для обобщения он выбирает положительный пример; если ничего не осталось, он прерывается и выводит текущую гипотезу.
- Затем он создает нижнее предложение, то есть наиболее конкретное предложение , разрешенное объявлениями режима, и охватывает пример.
- Затем он ищет обобщение нижнего предложения, которое лучше соответствует выбранному показателю.
- Затем он добавляет новое предложение в программу гипотез и удаляет все примеры, охватываемые новым предложением.
Алгоритм поиска
[ редактировать ]Алеф ищет предложения сверху вниз, используя нижнее предложение, созданное на предыдущем шаге, для ограничения поиска снизу. Он ищет граф уточнения в ширину с настраиваемыми параметрами для ограничения максимального размера предложения и глубины доказательства. Он оценивает каждое предложение, используя один из 13 различных показателей оценки, заранее выбранных пользователем. [3]
Примечания
[ редактировать ]- ^ Бернсайд и др. 2005 .
- ^ Jump up to: а б с д Кроппер и Думанчич 2022 , стр. 808.
- ^ Кроппер и Думанчич 2022 , стр. 810.
Ссылки
[ редактировать ]- Бернсайд, Элизабет С.; Дэвис, Джесси; Коста, Витор Сантос; де Кастро Дутра, Инес; Кан, Чарльз Э.; Хорошо, Джейсон; Пейдж, Дэвид (2005). «Обнаружение знаний на основе структурированных отчетов о маммографии с использованием индуктивного логического программирования» . Материалы ежегодного симпозиума AMIA . 2005 : 96–100. ISSN 1942-597Х . ПМК 1560852 . ПМИД 16779009 .
- Кроппер, Эндрю; Думанчич, Себастьян (15 июня 2022 г.). «Индуктивное логическое программирование в 30 лет: новое введение» . Журнал исследований искусственного интеллекта . 74 : 766–850. arXiv : 2008.07912 . дои : 10.1613/jair.1.13507 . ISSN 1076-9757 .