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

238 10.6. Ситуационное исчисление в дедуктивной базе данных Записать (Маринина, Математика), то в результате ее выполнения студент Иванов записан на какой-либо курс?" Для положительного ответа на этот гипотетический вопрос необходимо установить истинность формулы (3 курс) (записан (Иванов, курс, переход (Записать (Маринина, Математика), переход (Отчислить (Иванов, Математика), S()))) хотя бы для одного значения переменной курс. 10.6.8. Ограничения целостности дедуктивной базы данных Таким образом, ответы на запросы к ситуационной Дейталог-программе, несмотря на наличие действий, не изменяют начальной базы данных. В процессе поиска ответа, конечно, устанавливаются новые отношения, но все они выводятся только на основании аксиом начальной ситуации, аксиом допустимых действий и аксиом перехода в следующие ситуации. Эти аксиомы могут быть изменены с помощью операций добавления, удаления или модификации, причем чаще изменяются аксиомы начальных ситуаций, а не аксиомы допустимых действий и перехода в следующие ситуации. Новые запросы к базе данных осуществляются после завершения этих операций.