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

И 0(-i в_месте или эквивалентной формулой И -• Немеете (/), которая означает, что мы никогда не будем заблокированы в месте /. Свойство беступиковости так же известно как свобода от индивидуального зависания, определяемого как ситуация, в которой некоторые процессы, которые не находятся в терминальных местах, не могут продвигаться (выполняться), несмотря на то, что программа в целом выполняется за счет продвижения других процессов. Заметим, что это более сильное требование, 205 9. Модальность в ситуационном исчислении чем отсутствие дедлока, поскольку считается, что программа не попала в дедлок до тех пор, пока хотя бы один процесс выполняется. 9.7.5. Отзывчивость Очень важным классом программ, относящихся обычно к параллельным программам, являются операционные системы и такие программы реального времени, как системы резервирования билетов в авиации или другие системы баз данных, функционирующие в режиме on-line. Эти программы удобно рассматривать как непрерывные или циклические профаммы, работающие постоянно. Остановка выполнения этих программ обычно отражает ошибочные условия. Следовательно, эти программы работают не на получение конечного результата, а для результатов, производимых в течение их бесконечного выполнения. Таким образом, понятия абсолютной и частичной корректности здесь не применимы и должны быть заменены утверждениями, учитывающими непрерывное выполнение профамм. Одним из важнейших свойств таких профамм является отзывчивость.