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

338 Вопросы и упражненеия 14.5.3. Блок значений Блок значений хранит значения термов, вычисленных на очередном шаге вывода. 14.5.4. Блок правил Этот блок содержит все формулы (аксиомы), используемые для вывода. 14.5.5. Блок архива В этом блоке, как и в блоке значений, хранятся значения термов, полученных за несколько предыдущих шагов вывода. 14.5.6. Машина вывода Этот блок осуществляет вывод, используя значения термов из блоков значений и архива, на основе правил из блока правил. Полученные на очередном шаге значения термов помещаются в блок значений. 14.5.7. Архиватор Архиватор осуществляет перемещение значений из блока значений в блок архива перед их обновлением в результате вывода и структуризацию этих значений в архиве по времени и типам термов.