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

E-Book Overview

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

E-Book Content

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

History Behind The Headlines. The Origin Of Conflicts Worldwide
Authors: Meghan Appel O'Meara    268    0


Encyclopedia Of Sociology
Authors: Edgar F. Borgatta , Rhonda J. V. Montgomery    125    0



The Selfish Meme: A Critical Reassessment
Authors: Kate Distin    202    0




Encyclopedia Of World Cultures
Authors: Carol R. Ember    163    0


A Concise Introduction To Logic
Authors: Patrick J. Hurley    120    0


The Black Swan. The Impact Of The Highly Improbable [probability]
Authors: Nassim Nicholas Taleb    144    0