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

2) И (г, л g) z> 'gr Это выражение означает, что если ресурс был предоставлен пользователю Л, то диспетчер не имеет права отнять его до тех пор, пока пользователь не присвоит г ложное значение; 3) И(г, л^)з°-,г. Это утверждение означает, что если диспетчер еще не признал отказа от ресурса пользователя Л, то R. не может выставлять нового требования; 211 9. Модальность в ситуационном исчислении 4) Nhr л^?,):э •-,$. Это утверждение означает, что если ресурс не занят пользователем Ли не затребован им, то ресурс не предоставляется процессу, который его не требует. Все это и есть описание свойства предусмотренной отзывчивости. Выполнение перечисленных свойств вместе со следующими дополнительными выражениями гарантирует правильное поведение программы: 5) И г з 0gt; 6) Ё? z>0-.r; 7) И-гзО^я,- Четыре первых утверждения характеризуют поведение программы в соседних ситуациях. В глобальном стиле свойства предусмотренной реакции можно выразить следующими выражениями: