ИСТИНА

Проблема логического анализа рассуждений в условиях противоречивой и неполной информации представляет интерес для различных областей знания, к которым относится не только логика, но и исследования по искусственному интеллекту, информатика, лингвистика и философия. Одним из наиболее гибких инструментов, подходящих для логического анализа подобных рассуждений, является семантика обобщенных истинностных значений. С другой стороны, анализ рассуждений можно осуществить и синтаксическими методами, используя технику натуральных, аксиоматических, секвенциальных и других типов исчислений. Таким образом, в рамках исследовательского проекта предполагается подробное изучение рассуждений, смоделированных в контексте противоречивой и неполной информации, как семантическими, так и теоретико-доказательными средствами.

1) Построение логических систем в виде семантических теорий, формализованных при помощи систем натурального вывода и/или систем бинарных выводимостей, подходящих для анализа структуры рассуждений. 2) Конструирование семантик, фиксирующих различные аспекты противоречивой и неполной информации. Значимость ожидаемых результатов заключается в том, что они предоставляют новые инструменты формального анализа рассуждений, проводимых в рамках противоречивой и неполной информации, которые позволяют ухватить дополнительные особенности рациональной деятельности, возникающие в результате влияния как противоречивой, так и неполной информационной среды на субъект этой деятельности.