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

10.7. Проверка ограничений целостности Проверку ограничений целостности можно осуществить с помощью двойной индукционной аксиомы второго порядка. Двойная индукционная аксиома очень похожа на простую индукционную аксиому и использует не одну, а две ситуационные переменные: (V Ф) Ф (Sn, Su) л [(V a, s)(4> (s, s)) z> ф, переход (a, s))] л [(V a, s, s') (s < s' л ф(^, s') э ф($, переход (a, s'))] з (V s, Двойная индукционная аксиома аналогична простой индукционной аксиоме. Так, для нашего примера со стипендиями студентов надо доказать истинность формулы (V s, s') s < s' з [V (студент, размерстипендии, размер стипендии') стипендия (студент, размер_стипендии, s) л стипендия (студент, размерстипендии', s') z> размерстипендии < размерстипендии'], 240