Заполнение схемы.

У каждого предиката схемы имеются связанные с ним функции для определения того, с какой информацией из фонда знаний он может сопоставляться. Для формирования отдельной пропозиции эти функции отыскивают информацию в базе знаний и задают ее в форма­те внутреннего представления.

(атрибутив бд КОРАБЛЬ (название ОФИЦИАЛЬНОЕ. НА­ЗВАНИЕ) (темы ДАЛЬНОСТЬ ПЛАВАНИЯ В ЗАВИСИ­МОСТИ ОТ СКОРОСТИ РАЗМЕРЫ)

(дубликаты (ТОПЛИВО ВИД_ТОПЛИВА ЗАПАСЫ_ТОП- ЛИВА)) (атрибуты ДВИГАТЕЛЬ МАКСИМАЛЬНАЯ_СКО- РОСТЬ))

В число других атрибутов БД для корабля входят: МАКСИ­МАЛЬНАЯ СКОРОСТЬ, ДВИГАТЕЛЬ, ТОПЛИВО (ЗАПАСЫ ТОПЛИВА и ВИД ТОПЛИВА), РАЗМЕРЫ, ДАЛЬНОСТЬ ПЛАВАНИЯ В ЗАВИСИМОСТИ ОТ СКОРОСТИ и ОФИ­ЦИАЛЬНОЕ НАЗВАНИЕ.

Семантика предикатов, заданная таким способом в системе TEXT, является специфичной для системы, работающей с базой данных, и ее пришлось бы задавать заново, если бы схемы использова­лись в системе другого типа (например, в обучающей системе). Од­нако семантика не является специфической для предметной области базы данных. При переводе системы с одной базы данных на другую предикатная семантика не нуждается в изменении.

Схема заполняется по мере прохождения графа, при этом се­мантика предикатов используется для выбора пропозиций из фонда релевантных знаний. В тех случаях, когда при представлении схемы в виде графа из одного состояния исходит несколько дуг или когда одному предикату в фонде знаний соответствует более чем одна пропозиция, отыскиваются все пропозиции, а для выбора наиболее подходящей из них применяются фокусные ограничения, что и опре­деляет выбор дуги. Когда дуга выбрана, соответствующая ей пропо­зиция изымается из фонда знаний.

6.