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

Для этого предлагается ввести обобщенное правило модус поненс а, о. z> p hp, в котором а и р не являются произвольными формулами логики предикатов первого порядка. Отметим, что обобщенным его называют в связи с тем, что оно позволяет избавиться от раздельного использования правил исключения квантора общности, исключения конъюнкта и введения конъюнкции, хотя с обшей точки зрения это правило является частным случаем правила модус поненс. 4.1.4. Обобщенное правило модус поненс Обозначим е (5) некоторый атом, имеющий предикатный символ е и множество вхождений переменных и констант 5. Тогда обобщенное правило модус поненс принимает вид