ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Предлагается математическая модель формирования знания в социальных сетях. Соответствующие математические структуры оказываются моделями интуиционистской эпистемической логики IEL (С.Артемов, Т.Протопопеску, 2014), причем последняя оказывается полной в этом классе моделей. Это обстоятельство мотивирует более детальное исследования логики IEL. Мы устанавливаем ее PSPACE-полноту и предлагаем для IEL эквивалентную секвенциальную формулировку без правила сечения. Поиск вывода в этом исчислении дает верхнюю оценку сложности, а соответствующая нижняя оценка следует из аналогичной оценки для интуиционистской логики высказываний.