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

Стандартная функция переход: Ах 5 -> S. Значением функции переход (a, s) является ситуация s', в которую переходит ситуация s в результате действия a. So — начальная ситуация. Стандартный предикат до (st, s2), который будет также записываться в обычном инфиксном виде st < s2. Этот предикат истинен, если ситуация st наступает раньше ситуации s2; st < s2 означает st < s2 v st — s2. Стандартный предикат допустимо (a, s). Этот предикат истинен, если действие а допустимо (может быть выполнено) в ситуации s. Функторный предикат ф (