|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
On Some Formal Systems for Intuitionistic Epistemic Logic доклад на конференции
- Автор: Krupski V.N.
- Международная Конференция (Семинар (workshop)) : International Workshop "The Bounds of Logic Reloaded"
- Даты проведения конференции: 20-21 октября 2016
- Дата доклада: 20 октября 2016
- Тип доклада: Устный
- Докладчик: Krupski V.N.
- Место проведения: Высшая Школа Экономики, Russia
-
Аннотация доклада:
Предлагается математическая модель формирования знания в социальных сетях. Соответствующие математические структуры оказываются моделями интуиционистской эпистемической логики IEL (С.Артемов, Т.Протопопеску, 2014), причем последняя оказывается полной в этом классе моделей. Это обстоятельство мотивирует более детальное исследования логики IEL. Мы устанавливаем ее PSPACE-полноту и предлагаем для IEL эквивалентную секвенциальную формулировку без правила сечения. Поиск вывода в этом исчислении дает верхнюю оценку сложности, а соответствующая нижняя оценка следует из аналогичной оценки для интуиционистской логики высказываний.
- Добавил в систему: Крупский Владимир Николаевич