Главная > Интеллектуальные системы > Системы искусственного интеллекта
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

3.7.3. Процедура подстановки

Процедура подстановки работает со следующими данными: — наименование переменной, которая должна быть замещена; — терм, который подставляется вместо этой переменной; — индексы. После выполнения подстановки достигается совпадение выражений Е и Т, включая термы с индексами ей Текст процедуры представлен ниже. Выделенные курсивом наименования соответствуют элементарным функциям, которые здесь не рассматриваются подробно, так как их выбор определяется конкретным способом выполнения процедуры. Значения индексов ей изменяются вне процедуры подстановки.

(см. скан)

Рис. 3.6. Представление выражения .

Пример подстановки

Если в предыдущем выражении (рис. 3.5) переменную х желательно заменить выражением процедура выполняется следующим образом:

ПРОСМОТР возможная подстановка (рис. 3.6);

индекс следующего терма в

индекс следующего терма в ;

РОСМОТР Е начиная с текущий символ х встречается снова при индексе 7 и замещается термом Результирующее выражение показано на рис. 3.7.

Рис. 3.7. Новый вид выражения Е после подстановки.

ПРОСМОТР Т: в данном случае нет объекта для просмотра. Конец процедуры замещен только в той части выражений, которая необходима для унификации в предположении, что начальные их части уже унифицированы. Ниже описан сам алгоритм унификации.

<< Предыдущий параграф Следующий параграф >>
Оглавление