|
Алгебро-логические методы в информатике и искусственный интеллект
Formulas expressing totally nonstable truth values of formulas
[Формулы, выражающие тотальную нестабильность истинностных значений формул]
Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich Siberian Federal University, Krasnoyarsk, Russian Federation
Аннотация:
Рассматривается проблема нестабильности истинностных значений формул. Исследуется временная модальная логика на предмет описания надёжности информации. Логика сама по себе порождена стандартными моделями линейного времени. Рассматриваются интервалы нестабильности истинности формул в этих моделях. Это означает, что формула перманентно и в разумно большое время меняет свою истинность с истины на ложь и наоборот. Создается специальная техника и находится алгоритм, который позволит распознавать перманентную нестабильность истинности формул.
Ключевые слова:
модальная логика, фрейм и модель Крипке, выполнимость формул, разрешимость логики.
Поступила в редакцию: 21.01.2023 Исправленный вариант: 14.03.2021 Принята в печать: 20.03.2023
Образец цитирования:
Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Formulas expressing totally nonstable truth values of formulas”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 108–115
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iigum529 https://www.mathnet.ru/rus/iigum/v44/p108
|
Статистика просмотров: |
Страница аннотации: | 80 | PDF полного текста: | 40 | Список литературы: | 9 |
|