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

Ивин 2500 Доцент Селихов 2000 Старший_преподаватель Эту таблицу можно представить множеством фактов: преподаватели (Павлов, 3000, Профессор), преподаватели (Ивин, 2500, Доцент), преподаватели (Селихов, 2000, Старший_преподаватель). 229 10. Дедуктивные базы данных Иными словами, таблицу преподаватели можно рассматривать как интерпретацию атома преподаватели (фамилия, зарплата, должность). Запрос к базе данных, звучащий как "Преподаватели с какой фамилией, зарплатой и должностью делают атом преподаватели (фамилия, зарплата, должность) истинным?", можно рассматривать как поиск всех конкретизации этого атома при данной интерпретации. Таким образом, схема отношений а(А(11т))) может быть атомом с предикатным символом а и множеством переменных А(1М). При этом предполагается, что все строки конкретизированной схемы отношений (таблицы) Т(а) являются конкретизациями атома a(A(Ilm))), делающими его истинным. Используя атомы по правилам того или иного исчисления, можно формулировать аксиомы, на основе которых с использованием базовых аксиом этого исчисления осуществляется вывод целевой формулы. Одним из таких исчислений может быть исчисление, использующее только хорновские формулы и обобщенное правило вывода модус поненс. Черты этого исчисления были рассмотрены в четвертой главе. Другим исчислением может быть ситуационное исчисление, рассмотренное в восьмой главе. Формулировку цели в постановке задачи применительно к базе данных обычно называют запросом, а найденную (выведенную) цель — ответом на запрос.