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

Если ввести действие Назначить (студент, размер_стипендии), то ограничение целостности можно задать формулой (V s, s', студент, размер_стипендии, размер стипендии') л s < s' л л стипендия (студент, размер стипендии, s) л стипендия (студент, размер_стипендии'', s') э размер_стипендии< размер ^стипендии'. Естественно, чтобы была возможность проверять это ограничение целостности, т.е. устанавливать истинность инвариантных свойств Дейталог-программы, необходимо ввести аксиому допустимых действий и аксиому перехода в следующую ситуацию: 239 10. Дедуктивные базы данных допустимо {Назначить {студент, размер стипендии), s) = = (3 размер_стипендии') стипендия (студент, размер стипендии'', s) л л размер^стипендии' < размер стипендии, стипендия (студент, размер_стипендии, переход (a, s)) a a = Назначить (студент, размер стипендии) v стипендия (студент, размер стипендии) л л V (размер^стипендии') а * Назначить (студент, размер стипендии').