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

, P (Х„) v(Xi), а(ца)л р(цр) л ... л v(nv) зу(цу), а(Ха-> 6^) = >бМ(),...,v(xv->ex) = v(nv->eM) Ьу(иг Смысл этого правила состоит в следующем. Формулы a(xa), Р(хр), —, v(yj являются атомами и каждый из них имеет множество вхождений констант и переменных х- В формуле а(ца)л Р(цр) л ... л v(\xj z> у(ит), представленной импликацией, а(ца), Р(цр), ..., v(\ij, у(цу) являются атомами, каждый из которых имеет множество вхождений констант и переменных ц. Если существуют подстановки в такие, что a (xa -> в ) = а (ца -> в ), р (хр -> в ) = = Р(ц -»• в ), ..., v(Xv-> в ) = v(n -»• 6 ), то будет истинным атом у(и-Л). Напомним, что е (6 ->6) означает, что вместо аргументов 6 атома е подставляются аргументы 6. При этом необходимо соблюдать следующие требования: