Системы искусственного интеллекта. Гудков П.А. - 14 стр.

     Здесь также выбираются вложенные шаблоны. Внутренний шаблон
определяет базовую связь, а внешний выражает способ использования этой
связи для генерации ответов.
     Имеется два предиката, служащие низкоуровневыми функциями
доступа к базе данных. Обработка на более высоких уровнях происходит с
помощью    этих    функций     и   никогда   не   затрагивает   базу   данных
непосредственно.
     Система обладает знаниями о некоторых низкоуровневых сущностях
(объектах): река, город, штат, дорога, озеро и т.п. Функция доступа к
сущности (ent) берет тип объекта в качестве своего первого параметра и
возвращает во втором параметре одно значение, которое эта сущность может
принять. Например, если тип объекта город (city), то последовательные
вызовы ent дадут следующую информацию:
ent(city,albuquerque)
ent(city,arlington)
ent(city,austin)

     Это не факты, а правила, и именно они позволяют программе работать
таким образом, как будто она имеет отдельные списки типов объектов,
которые важны для ее функционирования и прежде всего для того, чтобы все
данные имели одинаковую форму.
     Правила сущностей выглядят следующим образом:
ent(city,NAME):-
     city(_,_,NAME,_).
ent(state,NAME):-
     state(NAME,_,_,_,_,_,_,_,_,_).
и т.д.

     Аналогично тому, как ent может сгенерировать все экземпляры
определенного типа объекта, имеется еще одна схожая функция, db, которая
также может сгенерировать все экземпляры определенного типа связи. Связь
состоит из двух объектов, соединенных другим словом, определяющим эту
связь. Например:
     штат с рекой


                                                                           14