автоматический поиск натурального вывода в классической логике предикатов : диссертация ... кандидата философских наук : специальность 09.00.07

E-Book Overview

Актуальность темы исследования Проблема поиска логического вывода традиционно считается одной из центральной тем логики. Бурное развитие данной проблематики в XX веке стимулировали, с одной стороны, фундаментальные работы Г. Генцена и Ж. Эрбрана и. с другой, появление ЭВМ. Возможность использования ЭВМ в процессе поиска логического вывода привела к появлению проблематики автоматического (машинного) поиска логического вывода.В настоящее время определяющим фактором при предпочтении одной логической системы перед другой становится наличие (автоматической) процедуры поиска вывода. Такие процедуры существенным образом облегчают нахождение логического вывода и активно используются в педагогической работе.В свою очередь, эти процедуры являются объектом исследования и постоянно сравниваются между собою по степени сложности (вычислительные затраты на поиск вывода), гибкости (возможность адаптации к нескольким логическим системам), удобства (понятный интерфейс, возможность поиска вывода как от посылок к заключению, так и от заключения к посылкам) и т.д.В диссертационном исследовании тема автоматического поиска логического вывода ограничивается поиском вывода в натуральном исчислении типа Куайна в классической логике предикатов.

E-Book Content

Московский государственный университет им. М.В. Ломоносова Философский факультет Кафедра логики На правах рукописи ШАНГИН ВАСИЛИЙ ОЛЕГОВИЧ АВТОМАТИЧЕСКИЙ ПОИСК НАТУРАЛЬНОГО ВЫВОДА В КЛАССИЧЕСКОЙ ЛОГИКЕ ПРЕДИКАТОВ Диссертация на соискание ученой степени кандидата философских наук Специальность 09.00.07 – Логика Научный руководитель: проф. Бочаров В.А. Москва 2004 ОГЛАВЛЕНИЕ Введение ...................................................................................................................................3 Глава 1. Автоматический поиск натурального вывода: история вопроса .......................