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

Пример. Предположим, что программа, моделирующая операционную систему G (диспетчер), обслуживает ряд программ (процессов) пользователей /?,, ..., Rr управляя распределением между ними ресурсов. Ресурсами могут быть жесткий диск, главная память и т.д. Пусть профаммы пользователей взаимодействуют с диспетчером, запрашивая ресурсы через булевы (пропозициональные) переменные {г, g), / = 1, ..., t. Переменная г устанавливается истинной пользователем программы Rt, чтобы сигн&чизировать о запросе ресурса. Переменная gt устанавливается истинной операционной системой С, сообщающей тем самым пользователю Л, что он может взять ресурс. После использования ресурса пользователь Л возвращает ресурс обратно системе С, присваивая переменной г ложное значение. Операционная система признает освобождение ресурса присвоением переменной gt ложного значения.