Труды КНЦ вып. 11 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ) вып. 8/2020 (11)

3. Анализ противоречий В науке противоречия считаются индикаторами некорректности, и их обнаружение стимулирует новые исследования с целью уточнения и развития наших знаний. Рассмотрим особенности противоречий в естественных рассуждениях. В математической логике (формальное) противоречие распознается как ситуация, при которой логическая формула, представляющая рассуждение, является тождественно ложной [10]. В работах авторов показаны различные методы элиминации противоречий. К ним, в частности относятся: 1) методы корректировки посылок в рассуждении [9] и 2) с помощью добавления в противоречащие правила новых переменных [11]. В [11] на примере логического анализа пресуппозиций показано, что противоречие в подобных ситуациях возникает не вследствие логической ошибки в посылках, а из-за того, что в рассуждении не учитывается некоторый параметр, который во многих случаях подразумевается, но явно не выражен. Заключение Результаты исследования показывают, что классический подход к моделированию некоторых неопределенностей в системах знаний позволяет интегрировать разнообразные методы решения этой проблемы с помощью разработанной авторами алгебры кортежей. Показаны возможности классического подхода к логическому анализу рассуждений, в которых рекомендуется применять неклассические логики. Работа частично поддержана грантами РФФИ (проекты №№ 18-29-03022- мк, 18-07-00132-а, 18-01-00076-а и 19-08-00079-а). Литература 1. Вагин В. Н., Головина Е. Ю., Загорянская А. А., Фомина М. В. Достоверный и правдоподобный вывод в интеллектуальных системах / под ред. В.Н. Вагина, Д.А. Поспелова. 2-е издание дополненное и исправленное. ФИЗМАТЛИТ. 2008. 2. Рассел С., Норвиг П. Искусственный интеллект: современный подход. 2-е изд. / пер. с англ.; ред. К.А. Птицына. М.: Изд. дом «Вильямс», 2006. 3. Тейз А. и др. Логический подход к искусственному интеллекту: от модальной логики к логике баз данных. М.: Мир, 1998. 4. Нариньяни А. С. Инженерия знаний и НЕ-факторы: краткий обзор-08 // Вопросы искусственного интеллекта. Вестник НСМИИ РАН. 2008. №1. С 61-77. 5. Ишмуратов А. Т., Карпенко А. С., Попов В. М. О паранепротиворечивой логике. // В кн.: Синтаксические и семантические исследования неэкстенсиональных логик. М., 1989; C. 261-284. 6. Кулик Б. А., Зуенко А. А., Фридман А. Я. Алгебраический подход к интеллектуальной обработке данных и знаний. СПб.: Изд-во Политехн. ун-та, 2010. 7. Кулик Б. А. Вероятностная логика на основе алгебры кортежей // Известия РАН. Теория и системы управления. 2007. № 1. С. 118-127. 8. Кулик Б. А., Фридман А. Я. Интеграция технологий логико-семантического анализа и классификации на основе отношений с упорядоченными значениями атрибутов // Гибридные и синергетические интеллектуальные системы: 143