Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

• Эпистемологические модальности степенью достоверности и обоснованностью информационного суждения. Эпистемическая логика - неклассическая логика, один из видов, модальной логики, а именно - логика модальностей знания и мнения (эпистемических модальностей) некоторого идеализированного агента. Объектами изучения для нее выступают пропозиции вида «x знает, что P» и «x считает, что P» [10]. • Временные модальности использует такие операторы как «всегда», «никогда», «одновременно», «раньше», «позже». Темпоральная логика - подраздел модальной логики, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале. Есть два подхода темпоральной логики, основанные на принципах здравого смысла и диалектики: «после этого» означает «по причине этого», либо «после этого» означает «позже» в хронологическом смысле. В темпоральных логиках бывает два вида операторов: логические и модальные. Модальные операторы, используются в логике линейного времени и логике деревьев вычислений. Временные логики применяются для описания и исследования причинно­ следственных зависимостей, развивающихся во времени. Семантика темпоральных логик существенно зависит от той математической модели, которая используется для описания феномена времени. В самом общем случае в качестве модели времени можно взять любое частично упорядоченное множество. Элементы этого множества соответствуют различным моментам времени. В качестве темпоральных моделей могут выступать любые модели Крипке, построенные на основе частично упорядоченных шкал. • Деонтические модальности - это выраженная в суждении информация, побуждающая людей к определенным поступкам. Деонтическая логика - раздел модальной логики, в котором исследуются возможности применения средств символической логики к анализу морального, правового, политического, экономического и подобных им, нормативных, типов суждений. Деонтическую логику также называют логикой норм или нормативной логикой. Деонтические логики подразделяются на абсолютные (монадические) и относительные (диадические) логики. В абсолютной логике перед высказыванием p может быть поставлен любой из префиксов «обязательно», «запрещено», «разрешено». В относительной деонтической логике к этой конструкции добавляется еще и условие, например, «обязательно p при условии С», где p и C - высказывания [11]. При этом ни один из видов деонтической логики не учитывает субъекта, который обязан или может выполнить определенное действие. Из-за этого в диадической деонтической логике возникают парадоксы. В монадической схеме деонтической логики (в дальнейшем именуется просто «деонтическая логика») имеется пять возможных префиксных дополнений к высказыванию p: • обязательно p (O p); • разрешено p (PE p); 115