Cтраница 2
В программе CHEF корректировка неудачного плана ( рецепта) в действительности выполняется отдельным модулем, который имеет доступ к специальному словарю термов, описывающих отказы, и индексированному множеству стратегий восстановления. Имеется также и специальный симулятор, который позволяет проиграть сформированный рецепт и выявить в нем подводные камни, не заметные на первый взгляд. Но основные модули работы с прецедентами выполняют именно те функции, которые мы описали выше. [16]
Это будет существенно, например, в § 13, § 16, § 36 и § 38, где рассматриваются индексированные множества булевых алгебр. Во многих случаях это не существенно, например, когда рассматриваются объединения и пересечения индексированных множеств элементов булевой алгебры ( гл. [17]