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

• Основы абдуктивного логического программирования (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.