Поиск натурального вывода в системах негативной силлогистики
Article Sidebar
Опубликован:
04.12.2007
Main Article Content
Аннотация
В данной работе дается описание алгоритма, осуществляющего автоматический поиск выводов и доказательств в натуральных системах негативной силлогистики (НС), базирующихся на аксиоматических силлогистических системах, построенных В.А. Бочаровым и В.И. Маркиным, и вместе с тем приводится генетическое описание процесса автоматического поиска доказательств.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Красненкова А. Поиск натурального вывода в системах негативной силлогистики // Логические исследования / Logical Investigations. 2007. Т. 14. C. 152-175.
Выпуск
Раздел
Статьи
Литература
Буркова И,А., Деменкова Т.А., Семенов Н.В., Харитонов А.Ш., Чумакова Е.И. Страшны ли роботам фреймы? Философия и будущее цивилизации // Тезисы докладов и выступлений IV Российского философского конгресса (Москва 24-28 мая 2005 г.). Том 1. М.: «Современные тетради», 2005.
Глушков В.М. Введение в кибернетику. Киев: Издательство Академии Наук Украинской ССР, 1964.
Горчаков А.Е., Макаров В.В., Спирин С.В. О некоторых особенностях построения компьютерной реализации алгоритма автоматического доказательства теорем в натуральном исчислении, http: // www.logic.ru (Логические исследования). М., 1998.
Логика и компьютер. Вып. 3. Доказательство и его поиск (курс логики и компьютерный практикум). М.: Наука, 1996.
Логика и компьютер. Вып. 5. Пусть докажет компьютер. М.: Наука, 2004.
Маркин В.И. Силлогистические теории в современной логике. М.: Издательство Московского университета, 1991.
Смирнова Е.Д. Логика и философия // Сер. «Научная философия». М.: РОССПЭН, 1996.
Чёрч А. Введение в математическую логику. Том 1. Глава I. § 17. М.: Издательство иностранной литературы, 1960.
Шангин В. О. Автоматических поиск натурального вывода в классической логике предикатов. Диссертация на соискание ученой степени кандидата философских наук. Специальность 09.00.07 — Логика. М., 2004.
Глушков В.М. Введение в кибернетику. Киев: Издательство Академии Наук Украинской ССР, 1964.
Горчаков А.Е., Макаров В.В., Спирин С.В. О некоторых особенностях построения компьютерной реализации алгоритма автоматического доказательства теорем в натуральном исчислении, http: // www.logic.ru (Логические исследования). М., 1998.
Логика и компьютер. Вып. 3. Доказательство и его поиск (курс логики и компьютерный практикум). М.: Наука, 1996.
Логика и компьютер. Вып. 5. Пусть докажет компьютер. М.: Наука, 2004.
Маркин В.И. Силлогистические теории в современной логике. М.: Издательство Московского университета, 1991.
Смирнова Е.Д. Логика и философия // Сер. «Научная философия». М.: РОССПЭН, 1996.
Чёрч А. Введение в математическую логику. Том 1. Глава I. § 17. М.: Издательство иностранной литературы, 1960.
Шангин В. О. Автоматических поиск натурального вывода в классической логике предикатов. Диссертация на соискание ученой степени кандидата философских наук. Специальность 09.00.07 — Логика. М., 2004.