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

К этому множеству аксиом, являющихся аналогом аксиом классического исчисления высказываний, добавляются две следующие аксиомы: V (х) а(х) з аСк), а {у) э Э(х) а(х). Общезначимость этих аксиом легко проверить с помощью таблиц истинности. Множеством правил классического исчисления предикатов является модус поненс а, а гэ р Ьр, в котором аир являются формулами логики предикатов первого порядка, и два правим введения кванторов: a=>pba=>V(x) P(x), а з р Ь 3 (х) а (х) з р. Классическое исчисление предикатов первого порядка не единственно. Существует множество других исчислений, построенных на основе классического, но использующих, помимо правил классического исчисления предикатов, и другие правила. В частности, в главе 2 были введены такие правила вывода в логике высказываний, как исключение конъюнкта, введение конъюнкции, исключение двойного отрицания, простая резолюция, резолюция. Эти правила справедливы и для логики предикатов, с тем только отличием, что в них используются формулы логики предикатов, а не логики высказываний.