?
Merging Epistemic and Temporal Models: a History-Free Approach
Логико-философские штудии. 2022. Vol. 20. No. 1. P. 1-7.
Ключевые слова: epistemic logicэпистемическая логикатемпоральная логикаtemporal logictemporal epistemic logicтемпоральная эпистемическая логика
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Попова Е. Л., , in : Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г. : М. : Русское общество истории и философии науки, 2021. P. 134-137.
Данная статья посвящена формализации широкого спектра сценариев изменения знаний с течением времени. Мы исследуем комбинации временных и эпистемических модальностей, отражающих различные свойства рассуждений рациональных агентов. Для этой цели вводим модель 𝐸𝐸𝑀 – эволюционную эпистемическую модель. ...
Добавлено: 28 июня 2021 г.
Долгоруков В. В., Логико-философские штудии 2016 Т. 13 № 2 С. 116-117
В работе обсуждается возможность расширения языка эпистемической логики за счет учета структуры влияния агентов друг на друга. ...
Добавлено: 18 июля 2016 г.
Каменских А. А., Логико-философские штудии 2018 Т. 16 № 1-2 С. 19-20
В работе представлен к обсуждению пример неожиданного сходства решений серии ключевых проблем темпоральной логики, который обнаруживается в ряде фрагментов текстов поздних неоплатоников и в одной из работ Л.П. Карсавина (1882-1952). Речь идёт о сходстве темпоральных схем, посредством которых Ямвлих, Прокл и Дамаский конструируют своего рода «средний термин» между вечностью и физическим временем — ноэтическое время (χρόνος ...
Добавлено: 13 октября 2018 г.
Хайтович Д. Г., / Cornell University. Series arXiv "math". 2021. No. 2110.
Добавлено: 7 декабря 2021 г.
В.В. Долгоруков, Логические исследования 2022 Т. 28 № 1 С. 9-26
Статья посвящена трудностям определения имплицитного знания группы — знания, которое могло бы возникнуть в группе в результате полного обмена информацией. Обсуждаются два подхода к логическому моделированию этого типа группового знания: синтаксический подход (следствие из множества знаний отдельных агентов) и семантический подход (модальность пересечения индивидуальных отношений достижимости). Рассматриваются два соответствующих модальных оператора: оператор имплицитного знания, опирающийся ...
Добавлено: 16 мая 2022 г.
Гнатенко А. Р., Захаров В. А., Automatic Control and Computer Sciences, Allerton Press Inc., United States 2019 Vol. 53 No. 7 P. 663-675
One of the most simple models of computation which is suitable for representation of reactive systems behaviour is a nite state transducer which operates over an input alphabet of control signals and an output alphabet of basic actions. A behaviour of such a reactive system displays itself in the correspondence between ows of control signals ...
Добавлено: 17 октября 2019 г.
Рыбаков В. В., Siberian Mathematical Journal 2021 Vol. 62 P. 503-510
Добавлено: 8 ноября 2021 г.
Гнатенко А. Р., Захаров В. А., В кн. : Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019). : М. : Изд-во механико-математического факультета МГУ, 2019. С. 263-266.
Описаны синтаксис и семантика нового расширения Reg-CTL* темпоральной логики деревьев вычислений CTL*, предназначенного для спецификации и верификации вычислений последовательных реагирующих систем. Поеказано, что задача верификации моделей автоматов-преобразователей относительно выполнимости формул логики CTL* является PSPACE-полной. ...
Добавлено: 17 октября 2019 г.
Гладышев М. А., В кн. : Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. : М. : Современные тетради, 2017. С. 67-68.
В предлагаемой работе предпринята попытка формализации феномена лжи с помощью инструментов современной динамической эпистемической логики. Предлагается к рассмотрению две модели доксатической логики: модель, описывающая ложь со стороны стороннего наблюдателя и модель для описания лжи одного из агентов остальным ...
Добавлено: 5 ноября 2017 г.
Хайтович Д. Г., В кн. : Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г. : М. : Русское общество истории и философии науки, 2021. С. 145-148.
В литературе существует несколько эпистемических расширений stit-логики. Один из наиболее популярных вариантов -- kstit-логика Пэкета и Хорти -- предлагает ввести аппарат действий-токенов и действий-типов, а также установить ряд семантических ограничений на связь эпистемических и исторических отношений. В данной статье мы выведем несколько контринтуитивных теорем, доказуемых в kstit-логике, и предложим свой вариант эпистемического расширения, избегающего их. ...
Добавлено: 21 сентября 2021 г.
Захаров В. А., Kozlova D., , in : Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016. Vol. 1698.: Humboldt-Universität zu Berlin, 2016. P. 233-244.
Добавлено: 13 октября 2016 г.
Каменских А. А., Scrinium: Journal of Patrology and Critical Hagiography 2019 Vol. 15 No. 1 P. 178-192
Добавлено: 26 июля 2019 г.
Долгоруков В. В., Гладышев М. А., , in : SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. : M. : ., 2023. P. 20-23.
В докладе представлена динамическая эпистемическая логика для агентов с бюджетными ограничениями. ...
Добавлено: 26 ноября 2023 г.
Захаров В. А., Козлова Д. Г., В кн. : Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.). : М. : Изд-во механико-математического факультета МГУ, 2016. С. 204-206.
Характерная особенность моделей Крипке и большинства темпоральных логик (PLTL, CTL, PDL, mu-исчисление и др.), используемых в качестве формальных языков спецификации, состоит в том, что элементарные свойства вычислений зависят только от состояний модели, но не от вычислений, которыми достигаются состояния. Однако для стороннего наблюдателя поведение реагирующей системы проявляется в соответствии между последовательностями стимулов (сигналов), которыми внешняя ...
Добавлено: 13 октября 2016 г.
Гнатенко А. Р., Захаров В. А., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 303-324
Добавлено: 14 июня 2018 г.
Шанг Ф. Ж., / The Austrian Ludwig Wittgenstein Society, Ontos Verlag. Series ISSN: 1022-3398 "Reduction and Elimination in Philosophy and the Sciences". 2008. No. 16.
Добавлено: 4 ноября 2014 г.
Каменских А. А., В кн. : Логика и онтология в византийской догматической полемике. Очерки: Коллективная монография. Т. 19.: СПб. : Центр содействия образованию, 2020. С. 255-275.
В главе коллективной монографии проводится сопоставление темпоральных логик позднего неоплатонизма и раннехристианской традиции; обсуждаются проблемы генезиса представления о времени как о структуре, образованной рядом моментов-кайрос, каждый из которых может оказаться точкой разрыва временного ряда. ...
Добавлено: 5 декабря 2019 г.
Гнатенко А. Р., Захаров В. А., В кн. : Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды. : МГУ, МАКС Пресс, 2018. С. 131-133.
Проведено сравнение выразительных возможностей темпоральной логики LP-CTL*. В этой логике были выделены два класса формул (фрагмента) LP-1-LTL и LP-n-LTL и показано, что фрагмент LP-1-LTL превосходит по выразительным возможностям известную темпоральную логику линейного времени LTL, а фрагмент LP-n-LTL имеет такие же выразительные возможности, что и монадическая логика второго порядка с одной функцией следования S1S. ...
Добавлено: 14 июня 2018 г.
Захаров В. А., Винарский Е. М., В кн. : Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019). : М. : Изд-во механико-математического факультета МГУ, 2019. С. 257-260.
Конечные автоматы Мили, представляющие собой простейшую математическую модель преобразования потоковых данных, широко используются во многих областях информатики. Но для некоторых приложений большое значение имеют не только значения обрабатываемых данных и порядок их следования, но также интервалы времени, которые отделяют события, присходящие по ходу вычисления автомата. Такие свойства уже не описывается явно средствами классической теории конечных ...
Добавлено: 17 октября 2019 г.
Долгоруков В. В., Попова Е. Л., , in : Logic Colloquium 2023, European Summer Meeting of the Association for Symbolic Logic, University of Milan, Italy 5—9 June 2023, Book of Abstracts. : Milan : University of Milan, 2023. P. 90-90.
В докладе представлена эпистемическая логика для агентов с задержкой в осведомленности. ...
Добавлено: 26 ноября 2023 г.
Авдошин С. М., Набебин А. А., М. : ДМК Пресс, 2018
Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...
Добавлено: 2 декабря 2017 г.
Долгоруков В. В., Эпистемология и философия науки 2017 Т. 51 № 1 С. 92-105
В статье предлагается классификация ассертивов, опирающаяся на понятие эпистемических пресуппозиций. Структура эпистемических пресуппозиций описывается с помощью оператора общего мнения. Проводится различие между сильной и слабой версией оператора общего мнения. Демонстрируется, что использование именно сильной версии этого оператора позволяет построить эпистемическую классификацию ассертивов. В статье утверждается, что классификация ассертивов зависит как от структуры лингвистических конвенций, так ...
Добавлено: 25 сентября 2016 г.