Глоссарий ИИ
Полный словарь искусственного интеллекта
Логическое программирование
Декларативная парадигма программирования, основанная на математической логике, где программы состоят из наборов логических формул и правил вывода.
Prolog
Наиболее распространенный язык логического программирования, реализующий принцип SLD-резолюции с автоматической унификацией и возвратом.
Возврат (Backtracking)
Механизм систематического поиска, исследующий все возможные решения путем возврата назад при неудаче в ветви дерева поиска.
База фактов
Набор атомарных предложений, считающихся истинными в системе логического программирования, служащих отправной точкой для выводов.
База правил
Коллекция хорновских дизъюнктов, определяющих логические отношения и импликации, позволяющие выводить новые факты из существующих.
SLD-резолюция
Стратегия линейной селективной резолюции для определенных дизъюнктов, используемая в качестве основного механизма выполнения в Prolog.
Подстановка
Операция систематической замены переменных термами в логическом выражении, необходимая для унификации и резолюции.
Терм
Фундаментальная синтаксическая единица в логическом программировании, которая может быть константой, переменной или составным термом с функтором и аргументами.
Логический атом
Атомарная формула вида предикат(аргументы), представляющая элементарное утверждение, которое может быть истинным или ложным.
Предикат
Символ отношения с фиксированной арностью, определяющий свойство или отношение между терминами в логических клаузах.
Дерево вывода
Древовидная структура, последовательно представляющая этапы резолюции и унификации, ведущие от цели к её решению.
Отсечение (Cut)
Специальный оператор (!) в Prolog, ограничивающий возврат (backtracking) путем устранения уже исследованных альтернативных точек выбора.
Отрицание как неудача
Правило вывода, считающее цель ложной, когда все попытки её доказательства терпят неудачу, обозначается \+ в Prolog.
Мета-интерпретатор
Программа на Prolog, способная выполнять другие программы на Prolog, явно реализуя механизмы резолюции.
Логическое программирование с ограничениями
Расширение логического программирования, интегрирующее решатели ограничений для специфических областей, таких как вещественные числа или конечные домены.
Datalog
Подмножество Prolog без составных терминов и процедурных возможностей, оптимизированное для запросов к дедуктивным базам данных.