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

записан (студент, курс, переход (a, s)) = а — Записать (студент, курс) v v записан (студент, курс, s)) л а Ф Отчислить (студент, курс). Эта аксиома задает условия, при которых студент в следующей ситуации окажется записанным на курс. Это происходит либо вследствие выполнения действия записи студента, или вследствие того, что он уже был записан в предыдущей ситуации, и действия по его отчислению не осуществлялись. экзаменован (студент, курс, оценка^ переход (a, s)) = а — = Поставить (студент, курс, оценка х) v экзаменован (студент, курс, оценка,, s) л (V оценка^ а * Поставить (студент, курс, оценка2). Эта аксиома задает условия, при которых студент окажется экзаменованным в следующей ситуации. Это происходит либо вследствие выполнения действия по выставлению оценки, либо вследствие того, что он уже был экзаменован, и никакая новая оценка не ставилась.