ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Проблема логического анализа рассуждений в условиях противоречивой и неполной информации представляет интерес для различных областей знания, к которым относится не только логика, но и исследования по искусственному интеллекту, информатика, лингвистика и философия. Одним из наиболее гибких инструментов, подходящих для логического анализа подобных рассуждений, является семантика обобщенных истинностных значений. С другой стороны, анализ рассуждений можно осуществить и синтаксическими методами, используя технику натуральных, аксиоматических, секвенциальных и других типов исчислений. Таким образом, в рамках исследовательского проекта предполагается подробное изучение рассуждений, смоделированных в контексте противоречивой и неполной информации, как семантическими, так и теоретико-доказательными средствами.
1) Построение логических систем в виде семантических теорий, формализованных при помощи систем натурального вывода и/или систем бинарных выводимостей, подходящих для анализа структуры рассуждений. 2) Конструирование семантик, фиксирующих различные аспекты противоречивой и неполной информации. Значимость ожидаемых результатов заключается в том, что они предоставляют новые инструменты формального анализа рассуждений, проводимых в рамках противоречивой и неполной информации, которые позволяют ухватить дополнительные особенности рациональной деятельности, возникающие в результате влияния как противоречивой, так и неполной информационной среды на субъект этой деятельности.
грант РНФ |
# | Сроки | Название |
1 | 30 июля 2019 г.-30 июня 2020 г. | Логический анализ рассуждений в контексте противоречивой и неполной информации |
Результаты этапа: |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".