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

(9.2) У=/(У) —® Рис. 9.3. Переход, соответствующий (9.2) 185 9. Модальность в ситуационном исчислении ЕСЛИ* I* С(у) ТО НА т; или /: ЕСЛИ С(у) ТО НА т; ЕСЛИ* I* НЕ С(у) ТО НА /'; или /: ЕСЛИ НЕ С(у) ТОНА /'; (9.3) ЕСЛИ * I* ТО (и„ .... и): = /(vp ..., v) НА /'. Рис. 9.4. Переход, соответствующий (9.3) Последнее предложение содержит программный сегмент (и,, ...,и^\ = = f(v}, ...,vs), деталями которого мы не интересуемся. Существенным для нас является только следующее: 1) сегмент может изменять только переменные и,, ..., и^ р > 0 и может использовать для этого только переменные vp ...,vs, stO; 2) выполнение сегмента должно обязательно завершиться. Предложение, в результате которого происходит остановка выполнения процесса в месте /, если оно до этого было активным, имеет вид