Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа
Автор: Сметанин Юрий Михайлович
Журнал: Программные системы: теория и приложения @programmnye-sistemy
Рубрика: Математические основы программирования
Статья в выпуске: 2 (33) т.8, 2017 года.
Бесплатный доступ
В работе обосновывается, что, в случае, когда постановка задач верификации рассуждений использует понятие соответствия, можно проверять логическое следование, не применяя логический вывод. При этом удобно использовать исчисление конституентных множеств и постановку задач в логике 𝐿𝑠2 [1]. На примерах показано, что для логики предикатов, верификацию логического следования можно проводить с использованием простых рассуждений с на основе соответствия Галуа
ID: 14336121 Короткий адрес: https://sciup.org/14336121
Список литературы Верификация логического следования с использованием исчисления конституентных множеств и соответствий Галуа
- Yu. Smetanin. Syllogistical system on the basis of the propositional multivalued logic//Proceedings of the 2015 International Conference "Stability and Control Processes" in Memory of V. I. Zubov (St. Petersburg, Russia, 5-9 Oct. 2015), IEEE, 2015, p. 596-599.
- Ю. М. Сметанин. Многозначная пропозициональная логика с непарадоксальным логическим следованием//Девятые Смирновские чтения по логике, Материалы Международной научной конференции (Москва, 19-21 июня 2015 г.), ред. Маркин В. И., Герасимова И. А., Зайцев Д. В., Карпенко А. С., Григорьев О. М., Томова Н. Е., "Современные тетради", 2015. С. 36-38.
- Ю. М. Сметанин. Алгоритм решения полисиллогизмов в ортогональном базисе посредством исчисления конституентных множеств//Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2010, №4. С. 172-185.
- Ю. М. Сметанин. Непарадоксальное логическое следование и проблема решения МЛ-уравнений//Программные системы: теория и приложения, Т. 7, № 1(28). 2016. С. 99-115, URL: http://psta.psiras.ru/read/psta2016_1_99-115.pdf
- В. А. Бочаров, В. И. Маркин. Силллогистические теории, ПрогрессТрадиция, М., 2010, 336 с.
- В. К. Финн. О неаристотелевском строении понятий//Логические исследования, Т. 21, № 1. 2015. С. 9-48.
- П. С. Порецкий, О способах решения логических равенств и об одном обратном способе математической логики, Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете, 1884, 170 с.
- С. Н. Васильев. Метод синтеза условий выводимости хорновских и некоторых других формул//Сиб. матем. журн., Т. 38, № 5. 1997. С. 1034-1042.
- C. Walther. A mechanical solution of Schubert’s steamroller by many-sorted resolution//Artificial Intelligence, V. 26. No. 2. 1985, p. 217-224.
- С. Н. Васильев, Ф. Л. Жерлов, Е. А. Федосов, Б. Е. Федунов. Интеллектное управление динамическими системами, Физматлит, М., 2000, 352 с.
- В. Н. Вагин, Зо Мьо Хтет. Параллельный вывод в методе аналитических таблиц//Программные продукты и системы, 2011, №3. С. 8-13.
Ред. заметка
