| Наименование РИД |
Программа проверки корректности рассуждений в рамках построенной модели логики рассуждений о неполной информированности о множестве взаимодействующих агентов
|
| Реферат |
Моделирование и проверка сложных логических формул, содержащих вложенные модальности знания (эпистемическая логика) и предпочтений в многоагентной системе. Программа позволяет анализировать, как агенты с разной информированностью воспринимают истинность утверждений и как их предпочтения взаимодействуют со знаниями.
Программа является инструментом для моделирования и анализа сложных эпистемических утверждений в многоагентных контекстах. Её модульная структура позволяет легко расширять логику (добавлять новые операторы или модальности) и применять в исследованиях по формальной эпистемологии, распределённым системам и социальным наукам , а том числе решать следующие задачи:
1. Представлять логические формулы с операторами: атомарные утверждения, отрицание, конъюнкция, дизъюнкция, импликация, модальности знания (`K`) и предпочтений (`L`).
2. Создавать модели возможных миров с заданными истинностными значениями, отношениями доступности между мирами для каждого агента и их предпочтениями.
3. Проверять истинности сложных формул в заданных мирах с учётом доступности миров и предпочтений агентов.
4. Демонстрировать примеры глубокой вложенности модальностей (знание о знании, предпочтения о знаниях и т.д.).
5. Исследовать сложные эпистемические сценарии с несколькими агентами, неполной информацией и предпочтениями.
|
| Возможные направления использования |
Программа может использоваться в образовательных целях для изучения логики знаний, теории игр, искусственного интеллекта и социального моделирования
|
| Количество опытных образцов |
0
|
| Количество просмотров |
2
|
| Наличие дополнительных файлов |
False
|
| Использование РИД правообладателем |
False
|
| Внешнее использование РИД |
False
|
| НИОКТР (JSON) |
{}
|
| ИКСИ (JSON) |
[]
|
| ИКСПО (JSON) |
[]
|
| ОЭСР (JSON) |
[]
|
| Дата первого статуса |
2026-01-19T08:33:46.299773+00:00
|
| Предполагаемый тип результата |
Программа для ЭВМ
|
| Ожидаемая роль |
Исполнитель
|
| Заказчик |
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ"
|
| Руководитель работы |
Драгалина-Черная Елена Григорьевна
|
| Руководитель организации |
Носенко Анастасия Александровна
|
| Регистрационный номер НИОКТР |
—
|
| Последний статус |
Подтверждена, 626012500037-4, 2026-01-25 15:02:24 UTC
|
| ОКПД |
Услуги по проектированию и разработке информационных технологий для прикладных задач и тестированию программного обеспечения
|
| Ключевые слова |
Принятие решений; Предпочтения; Эпистемическая логика
|
| Исполнители |
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "ВЫСШАЯ ШКОЛА ЭКОНОМИКИ"
|
| Авторы |
Федянин Денис Николаевич
|
| Коды тематических рубрик |
02.21.31 - Логические системы и исчисления
|
| OESR |
Философия
|
| Приоритеты научно-технического развития |
а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта;; ж) возможность эффективного ответа российского общества на большие вызовы с учетом возрастающей актуальности синтетических научных дисциплин, созданных на стыке психологии, социологии, политологии, истории и научных исследований, связанных с этическими аспектами научно-технологического развития, изменениями социальных, политических и экономических отношений;
|
