При рассмотрении задачи поиска мы изучали некоторые механизмы, позволяющие системе заниматься обследованием сетей из ситуаций, определяемых рассматриваемой проблемой. Теперь же, при изучении вопросов управления (контроля), мы займемся теми механизмами, которые задают характер переключения внимания системы между имеющимися у нее специализированными процедурами.
Обсуждение вопросов управления было бы неполным без рассмотрения приемов, используемых в языках программирования. Однако некоторые важные соображения являются достаточно абстрактными, так что начать рассмотрение можно, не опираясь на преимущества, связанные с опытом использования языков программирования.
В этой главе мы обратимся к универсальному решателю задач и продукционной системе в частности, поскольку обе эти системы являют собой примеры управления с использованием так называемых "демонов". В контексте задачи переключения контроля демон представляет собой некое подобие дежурного, который следит за появлением какой-то конкретной ситуации и предпринимает определенное действие, когда эта ситуация реализуется. Мы увидим, что этому определению удовлетворяют и операторы универсального решателя задач, и продукции продукционных систем.
Некоторые полагают, что и мышление человека в значительной степени также направляется "демонами". В конце концов, похоже, что наши головы полны простых правил "ситуация - действие", наподобие следующих:
Всякий раз, когда я решаю пойти в магазин канцелярских товаров, я должен посмотреть, не нужны ли мне цветные фламастеры.
Всякий раз, когда я решаю трудную задачу по механике, я дол* жен задаться вопросом, имеет ли отношение к делу момент количества движения.
Для углубленного понимания предмета контроля необходимо знание некоторых фактов из области программирования. Поэтому не забывайте, что это лишь первый этап ознакомления с избранными
разделами этой темы, за которым должен последовать второй, когда будут усвоены некоторые основы программирования. Здесь же мы вынуждены будем иметь дело с абстракциями, дающими лишь некоторое знакомство, но не полное понимание.