ПРОБЛЕМЫ ФОРМАЛИЗАЦИИ КОНТЕКСТОВ ЗНАНИЯ В ЭПИСТЕМИЧЕСКОЙ МОДАЛЬНОЙ ЛОГИКЕ
В статье проведен обзор эпистемической модальной логики, формализующей рассуждения о знаниях. Особое внимание уделено связанной с эпистемической логикой так называемой проблеме логического всеведения и попыткам ее преодоления в рамках модального подхода. Анализ показал, что по способу решения данной проблемы эти попытки образуют два направления. Одно из них основано на искусственном ослаблении дедуктивных возможностей агента, другое направление имеет в своей основе введение в логический язык специальных модальных операторов, трактуемых как «ментальные усилия», необходимые для получения какого-либо знания, выраженного в виде логических формул. Обосновывается необходимость введения провалов значения в рассмотрение эпистемических контекстов для выражения незнания в некотором мире. Предлагается построение эпистемической трехзначной логики, третьим значением которой является провал значения.