Абдуктивное логическое программирование
-
Основы абдуктивного логического программирования (ALP)
- ALP — это метод логического программирования, который позволяет решать проблемы путем поиска объяснений, совместимых с ограничениями целостности.
- Абдукция в ALP используется для объяснения наблюдаемых фактов, которые не противоречат ограничениям целостности.
- ALP отличается от обычного логического программирования тем, что оно позволяет использовать ограничения целостности для выбора между объяснениями.
-
Примеры и применение ALP
- Пример 1: Программа похищения, которая имеет два возможных объяснения, одно из которых удовлетворяет ограничению целостности.
- Пример 2: Программа, которая имеет два решения для получения гражданства, но одно из них нарушает ограничение неприкосновенности.
- Пример 3: Модель метаболизма лактозы бактерией E. coli, где ограничения целостности определяют количество веществ.
-
Рассуждения по умолчанию и отрицание в ALP
- ALP может использоваться для рассуждений по умолчанию, имитируя отрицание как сбой.
- Отрицание в ALP может быть смоделировано с помощью добавления противоположных предикатов и предложений.
-
Формальная семантика ALP
- Отвлекающее объяснение в ALP представляет собой набор основных атомов на отводимых предикатах, которые удовлетворяют ограничениям целостности и последовательны.
- Различные семантики логического программирования могут использоваться для формализации роли ограничений целостности.
-
Реализация и системы ALP
- Большинство реализаций ALP основаны на расширении модели логического программирования, основанной на разрешении SLD.
- ALP также может быть реализовано через связь с программированием набора ответов (ASP).
-
Ссылки
- Список систем ALP, включая ACLP, A-system и SCIFF.
Полный текст статьи: