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

197 9. Модальность в ситуационном исчислении *9.6.1. Частичная корректность Это свойство имеет значение только для программ, в которых каждый процесс содержит терминальное место /.. Такие программы назовем терминальными в отличие от нетерминальных программ, которые предполагают бесконечное выполнение и поэтому не содержат терминальных мест. Пусть ?(х, у, п) — предусловие, которое задает ограничения на множество значений входных и программных переменных и переменных мест, для которого предполагается, что программа является правильной. ф(х, у) — утверждение о корректности программы, т.е. отношение, которое должно установиться между входными переменными х и результирующими значениями у при приходе всех процессов в терминальные места. Используя введенные обозначения, свойство частичной корректности записывается следующим образом: