1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Временныемногоагентные логикии проблема унификации Башмаков Степан Игоревич2018 год

Временные многоагентные логики и проблема унификации : специальность 01.01.06 Математическая логика, алгебра и теория чисел ""
диссертация

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Временные многоагентные логики и проблема унификации : специальность 01.01.06 Математическая логика, алгебра и теория чисел "" : диссертация на соискание ученой степени кандидат физико-математических наук / С. И. Башмаков ; Федеральное государственное автономное образовательное учреждение высшего образования "Сибирский федеральный университет". - , 2018. - 83 с. - .
Аннотация: Объект исследования - теория унификации многомодальных логик знания и времени. Цель исследования - решение унификационных проблем в ряде временных и многоагентных логик. Задачи исследования - поиск критериев неунифицируемости логик LTK, LFPK и всех полных по Крипке с выразимой универсальной модальностью; доказательство проективной унификации в LFPK, ULITL, поиск алгоритмов построения наиболее общего унификатора (mgu). Используются реляционная семантика Крипке, отрицание унифицируемости, проективные и граунд унификаторы, методы теоретико-модельной и алгебраической семантики. Найдены критерии неунифицируемости и базисы пассивных правил логик LTK и LFPK, полных по Крипке логик с выразимой универсальной модальностью. Доказана проективная унификация для ULITL, LFPK и ее обогащений операторами Until+/-, Next/Previous, предложены алгоритмы построения mgu. Доказана возможность эффективно устанавливать унифицируемость в ULITL. Все результаты получены впервые, носят теоретический характер и применимы в исследованиях нестандартных логик, теории моделей, информатики и при составлении программ курсов по математической логике.
Год издания: 2018
Авторы: Башмаков Степан Игоревич
Авторский коллектив: Федеральное государственное автономное образовательное учреждение высшего образования "Сибирский федеральный университет"
Количество страниц: 83
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Временныемногоагентные логикии проблема унификации Башмаков Степан Игоревич2017 год

Временные многоагентные логики и проблема унификации : дис. ... канд. физ.-мат. наук

  • Башмаков Степан Игоревич
  • 2017 год
Временныемногоагентные логикии проблема унификации Башмаков Степан Игоревич2018 год

Временные многоагентные логики и проблема унификации : автореферат дис. ... канд. физ.-мат. наук

  • Башмаков Степан Игоревич
  • 2018 год
Интенсиональныелогики, временные,многоагентные и ихиспользование винформатике, иверификацииинформации в… 2025 год

Интенсиональные логики, временные, многоагентные и их использование в информатике, и верификации… : описание проекта

  • 2025 год
Интранзитивныевременныемногоагентные логики,информация и знание,разрешимость Рыбаков Владимир Владимирович2017 год

Интранзитивные временные многоагентные логики, информация и знание, разрешимость : научное издание

  • Рыбаков Владимир Владимирович
  • 2017 год
Динамическиевременные операции вмультиагентныхлогиках Рыбаков Владимир Владимирович2022 год

Динамические временные операции в мультиагентных логиках : научное издание

  • Рыбаков Владимир Владимирович
  • 2022 год
Многоагентныевременные логики,проблемы унификации идопустимости Рыбаков Владимир Владимирович2022 год

Многоагентные временные логики, проблемы унификации и допустимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2022 год
ЛИНЕЙНАЯ ВРЕМЕННАЯЛОГИКА ЗНАНИЯ LTK.SL:СЕМАНТИКА И ФИНИТНАЯАППРОКСИМИРУЕМОСТЬ Зверева Т.Ю.Башмаков С.И.2023 год

ЛИНЕЙНАЯ ВРЕМЕННАЯ ЛОГИКА ЗНАНИЯ LTK.SL: СЕМАНТИКА И ФИНИТНАЯ АППРОКСИМИРУЕМОСТЬ : доклад, тезисы доклада

  • Зверева Т.Ю. и др.
  • 2023 год
Допустимость иунификация вмодальных логиках,близких S4.2 Рыбаков Владимир Владимирович2024 год

Допустимость и унификация в модальных логиках, близких S4.2 : статья из журнала

  • Рыбаков Владимир Владимирович
  • 2024 год

Показать ещё

Временныемультиагентные логикис мультиозначиваниями Рыбаков Владимир Владимирович2018 год

Временные мультиагентные логики с мультиозначиваниями : научное издание

  • Рыбаков Владимир Владимирович
  • 2018 год
Временнаяинтранзитивнаямульти-агентнаялогика; алгоритмыразрешимости, правилавывода Лукьянчук АлександраНиколаевна2015 год

Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода : специальность 01.01.06…

  • Лукьянчук Александра Николаевна
  • 2015 год
Мультиагентныевременныенетранзитивныелинейные логики,проблема допустимости Рыбаков Владимир Владимирович2020 год

Мультиагентные временные нетранзитивные линейные логики, проблема допустимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2020 год
Логики ветвящегосявремени смультиагентнымиотношениями временнойдостижимости Рыбаков Владимир Владимирович2021 год

Логики ветвящегося времени с мультиагентными отношениями временной достижимости : статья из журнала

  • Рыбаков Владимир Владимирович
  • 2021 год
ДОПУСТИМОСТЬ ИУНИФИКАЦИЯ ВМОДАЛЬНЫХ ЛОГИКАХ,БЛИЗКИХ К S4.2 Рыбаков Владимир Владимирович2024 год

ДОПУСТИМОСТЬ И УНИФИКАЦИЯ В МОДАЛЬНЫХ ЛОГИКАХ, БЛИЗКИХ К S4.2 : научное издание

  • Рыбаков Владимир Владимирович
  • 2024 год

Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality : статья из журнала

  • Bashmakov Stepan
  • 2018 год
Свойства конечноймодели для временнойлогики с прошлым Бушакова Ю. А.2026 год

Свойства конечной модели для временной логики с прошлым : доклад, тезисы доклада

  • Бушакова Ю. А.
  • 2026 год
Логики ветвящегосявременисмультиагентнымиотношениями временнойдостижимости Рыбаков Владимир Владимирович2021 год

Логики ветвящегося временис мультиагентными отношениями временной достижимости : научное издание

  • Рыбаков Владимир Владимирович
  • 2021 год