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

10.6.2. Отношения Отношения в студенческой среде задаются следующими предикатами: записан {студент, курс, s): предикат истинен, если студент студент записан на курс курс, когда база находится в ситуации s. экзаменован (студент, курс, оценка, s): предикат истинен, если студент студент экзаменован по курсу курс с оценкой оценка, когда база находится в ситуации s. прослушан (студент, курсг курс2): предикат истинен, если прослушивание курса курс{ является обязательным для записи на курс курс2 студента студент. Заметим, что значение этого предиката не зависит от ситуации, в которой находится база данных. 10.6.3. Действия Действия, которые могут осуществляться в студенческой среде, являются следующими: 236 10.6. Ситуационное исчисление в дедуктивной базе данных Записать (студент, курс): записать студента студент на курс курс.