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

Поставить (студент, курс, оценка): поставить студенту студент оценку оценка за сдачу курса курс. Отчислить (студент, курс): отчислить студента студент с курса курс. 10.6.4. Аксиомы начальной ситуации Аксиомы начальной ситуации определяют содержимое базы данных в начальной ситуации So: записан (Светланова, Информатика, So) v записан (Светланова, Электроника, So), (V студент, курс) прослушан (студент, курс. Электроника) ш = курс = Физика л курс = Математика, (V студент, курс) -. прослушан (студент, курс, Информатика), (3 курс) записан (Борисов, курс, So), (V курс) записан (Борисов, Информатика, So)) = курс = Физика v v курс = Математика v курс = Механика, записан (Маринина, Информатика, So), -. записан (Иванов, Электроника, So), экзаменован (Светланова, Физика, 4, So). 10.6.5. Аксиомы допустимых действий Студент может быть записан на курс курс2 только в том случае, если он получил оценку не ниже 3 по курсу курсг обязательному для записи на курс курс±