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

4.1. Исчисление предикатов В главе 2 было определено понятие логического исчисления. Одним из таких исчислений является клшссическое исчисление предикатов. Как и любое другое исчисление, оно построено на использовании: алфавита (совокупности используемых символов); 3-'141 65 4. Вывод в логике предикатов синтаксических правил построения формул в алфавите; аксиом (общезначимых исходных формул); правил вывода по аксиомам производных формул или теорем. Алфавит и синтаксические правила построения формул в исчислении предикатов определены в предыдущей главе. Множество аксиом классического исчисления предикатов определяется следующим образом: каждая аксиома классического исчисления высказываний трансформируется в аксиому классического исчисления предикатов. Эта трансформация выражается только в том, что все ее логические переменные рассматриваются как предикаты, а формулы как формулы логики предикатов первого порядка.