Искусственный интеллект

Дейталог-программа, соответствующая этой реляционной базе данных, будет следующей: пункты (пунктотправления, пункт_назначения) z> з маршрут (пунктотправления, пункт_назначения), пункты (пункт_отправления, промежуточныйпункт) л л маршрут (промежуточныйпункт, пункт_назначения) л л пункт_отправления Ф пунктназначения з з маршрут (пунктотправления, пунктназначения), пункты (Москва, Тула), пункты (Тула, Калуга), пункты (Калуга, Москва). Множество всех атомов Дейталог-программы, являющихся фактами, называют экстенсионалом. Множество всех остальных конкретизированных атомов, выводимых с помощью Дейталог-программы, называют интенсионалом. Дедуктивная база данных состоит из реляционной базы данных (т.е. множества таблиц, соответствующих экстенсионалу, и Дейталог-правил) и множества таблиц, соответствующих интенсионалу. Всем фактам экстенсионала, имеющим один и тот же предикатный символ, соответствует одна таблица, атрибуты которой совпадают с именами переменных факта, а строки являются наборами значений этих переменных. Всем атомам интенсионала, имеющим один и тот же предикатный символ, соответствует также одна таблица, атрибуты которой совпадают с именами переменных атома. Строки этой таблицы могут заполняться по-разному. Это зависит от интерпретации атрибутов, в частности от области значений каждого атрибута. В крайнем случае, это может быть множество всех возможных наборов значений атрибутов.