Исчисление высказываний и логическое программирование. Анализ исчисления высказываний как первый шаг разработки языка логического программирования второго порядка

      Аннотация: В настоящее время языки логического программирования базируются на логике предикатов первого порядка, но назрела необходимость использования в программировании логики второго порядка. Для построения соответствующего языка необходимо проанализировать математическую логику, языки логического программирования, некоторые математические понятия и концепции. Первым шагом на этом пути является анализ исчисления высказываний, который лучше всего делать путём сравнения различных подходов с анализом и прояснением встречающихся проблем, понятий и терминов. Это и сделано в данной книге: рассмотрены современные и традиционные подходы к математической логике (исчислению высказываний). Подробно рассмотрено такое понятие как рекурсия. Много внимания уделено проблеме выполнимости - рассмотрено несколько алгоритмов и, естественно, особое внимание уделено методу резолюций. Кроме того, в начале работы достаточно подробно рассмотрены парадоксы, а в конце хорновские дизъюнкты. Для студентов, аспирантов и специалистов, занимающихся (интересующихся) проблемами искусственного интеллекта.

Ключевые слова: логика, выполнимость, логика, исчисление высказываний, импликация, алгоритм Куайна, дизъюкт, теорема Эрбана, метод резолюций, хорновский дизъюнкт, Prolog