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

Вместо переменной в 5 можно подставлять переменную из в. Такую подстановку называют переименованием переменной. Вместо переменной в 5 можно подставлять константу из в. Такую подстановку называют конкретизацией переменной. Вместо переменной в 6 можно подставлять функцию из в. Такую подстановку называют заменой переменной. Вместо одной и той же переменной везде следует подставлять одну и ту же константу или функцию. Переименовываются одновременно все вхождения одной и то же переменной. 83 4. Вывод в логике предикатов Процесс поиска нужной подстановки в называют унификвцкей, а формулу, в атомы которой осуществлена подстановка, называют упшфшщшроваяной. В некоторых исчислениях для подстановки, конкретизации и замены переменной вводят отдельные правила. Подстановка называется наиболее общей, если благодаря ей наименьшее число переменных замещается константами. В обобщенном правиле модус поненс вместо V(x)a(x) записывают а (х), т.е. кванторы общности подразумеваются, но не употребляются. Кванторы существования в обобщенном правиле модус поненс вообще не используются. Поскольку обобщенное правило модус поненс является единственным, которое мы собираемся использовать в процессе вывода, то, следовательно, постановка задачи изначально должна удовлетворять следующим условиям.