В многомерной семантике каждый модальныйоператор отвечает за свой собственный измерительный масштаб,... Для полимодальных логик, использующих несколько видов модальныхоператоров, многомерная семантика может... быть использована для представления взаимодействия между различными модальнымиоператорами.... Например, для модальной логики, содержащей операторы «◊» (возможно) и «□» (необходимо), можно использовать... В этой модели каждому модальномуоператору соответствует отдельный интерпретатор, который определяет,
В работе представлен оригинальный подход к построению выводов в модальных системах с нечеткими правилами вместе с необходимой техникой формализации заключений. Подход ориентирован на прикладные системы искусственного интеллекта и системы принятия решений, использующие нечеткие модальные формулы. Подход базируется на представлении нечетких модальных отношений формулами многозначных логик Я. Лукасевича с использованием для интерпретации модальных отношений. Модальность типа «возможно» интерпретируется формулой трехзначного исчисления со значением истинности не ниже 0,5; модальность типа «необходимо» интерпретируется формулой трехзначного исчисления со значением истинности, равным 1. Введены правила исчисления выводов в нечетких модальных системах, позволяющие находить трехзначные эквиваленты произвольных модальных формул. Показано, как обобщить эти правила на случай нечетких модальных систем. В качестве практической иллюстрации рассматривается задача отыскания максимального независимо...
Общая характеристика логик с модально-временными операторами
Определение 1
Логики с модально-временными... операторами – это класс логик, которые объединяют в себе операторымодальной и темпоральной логики,... В области математической логики модальные и временные операторы используются для выражения утверждений... К модальнымоператорам в настоящее время относят большинство операторов, с помощью которых удается учитывать... операторов в логиках с модально-временными операторами является оператор «G», который обозначает «всегда
принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.
