Доклады Анны Моисеевой на конференции в Новосибирске
17-19 октября в г. Новосибирске прошла XXI Международная конференция молодых ученых в области гуманитарных и социальных наук «Человек, интеллект, познание». С пленарным и секционным докладами в ней выступила научный сотрудник Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ Анна Юрьевна Моисеева.
Пленарный доклад «Приписывание знаний без логического всеведения: постановка задачи и подходы к решению» был посвящен одной из наиболее трудных проблем семантики пропозициональных установок, известной как проблема логического всеведения. В докладе была раскрыта суть этой проблемы на примере семантики приписываний знания, описаны свойства, которыми должен обладать оператор знания, чтобы не приписывать логического всеведения агенту, и рассмотрены различные подходы к построению семантики приписываний знания с требуемыми свойствами, существующие в настоящее время.
Секционный доклад «Приписывание знаний без логического всеведения: техническая часть» был содержательным продолжением пленарного доклада. В нем был рассмотрен пример реализации модифицированного мультимодельного подхода в сочетании с подходом моделирования тематики, представленный в семантике и логике знания EUL. Было показано, что тематически чувствительная логика EUL обладает всеми теми свойствами, которые ранее декларировались как желаемые свойства эпистемической логики без всеведения, а также приведены некоторые другие примечательные свойства оператора знания в EUL.
