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

Аксиома для функторного предиката: лпЦ, d7, .... dn, s) = фпЦ, dv ..., dn, переход (a, s)). Здесь %(dv dv ..., dn, переход (a, s)) является w+1 -местным функторным предикатом, a \(dr d2, ..., dn, s) — простая формула, все переменные которой свободные. Например, формулой для функторного предиката заряжено (Ружье, s) может быть следующая: -1 заряжено (Ружье, s) л о = зарядить = з заряжено (Ружье, переход (зарядить, s)). Аксиома для функторной функции: лфЦ> di> ¦¦¦> dn> s) = /Ф(^Р dv -' dn> переход (a, s)) = у. Здесь fAdv dv ..., dn, переход (a, s)) является я+1-местной функторной функцией, ani)(dvdv .'.,dn, s) — простая формула, все переменные которой свободные. Например, формулой для функторной функции может быть следующая: -1 заряжено (Ружье, s) л а = зарядить = н вес (Ружье, переход (зарядить, s)) = 2585. 171 8. Ситуационное исчисление