Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Оператор модальности

Предмет Логика
👍 Проверено Автор24

слово, указывающее на ту или иную модальность, например: "необходимо", "доказано", "обязательно" и др.

Научные статьи на тему «Оператор модальности»

Многомерные семантики для полимодальных логик

В многомерной семантике каждый модальный оператор отвечает за свой собственный измерительный масштаб,...
Для полимодальных логик, использующих несколько видов модальных операторов, многомерная семантика может...
быть использована для представления взаимодействия между различными модальными операторами....
Например, для модальной логики, содержащей операторы «◊» (возможно) и «□» (необходимо), можно использовать...
В этой модели каждому модальному оператору соответствует отдельный интерпретатор, который определяет,

Статья от экспертов

Работа со знаниями с использованием модальных операторов

В работе представлен оригинальный подход к построению выводов в модальных системах с нечеткими правилами вместе с необходимой техникой формализации заключений. Подход ориентирован на прикладные системы искусственного интеллекта и системы принятия решений, использующие нечеткие модальные формулы. Подход базируется на представлении нечетких модальных отношений формулами многозначных логик Я. Лукасевича с использованием для интерпретации модальных отношений. Модальность типа «возможно» интерпретируется формулой трехзначного исчисления со значением истинности не ниже 0,5; модальность типа «необходимо» интерпретируется формулой трехзначного исчисления со значением истинности, равным 1. Введены правила исчисления выводов в нечетких модальных системах, позволяющие находить трехзначные эквиваленты произвольных модальных формул. Показано, как обобщить эти правила на случай нечетких модальных систем. В качестве практической иллюстрации рассматривается задача отыскания максимального независимо...

Научный журнал

Логики с модально-временными операторами

Общая характеристика логик с модально-временными операторами Определение 1 Логики с модально-временными...
операторами – это класс логик, которые объединяют в себе операторы модальной и темпоральной логики,...
В области математической логики модальные и временные операторы используются для выражения утверждений...
К модальным операторам в настоящее время относят большинство операторов, с помощью которых удается учитывать...
операторов в логиках с модально-временными операторами является оператор «G», который обозначает «всегда

Статья от экспертов

Неличные формы латинского глагола как модальные операторы

Научный журнал

Еще термины по предмету «Логика»

Понятие «Переход в другой род»

логическая ошибка в доказательстве, имеет две разновидности: а) «кто слишком мало доказывает, тот ничего не доказывает»; б) «кто слишком много доказывает, тот ничего не доказывает».

🌟 Рекомендуем тебе

Безусловная аналогия

аналогия, которая применятеся тогда, когда точно и определенно установленна связь между общими признаками, имеющими у обоих составляемых предметов , и тем признаком, который присваеется исследуемому предмету по аналогии с известным уже предметом.

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot