Доклад Дениса Федянина "О связи между структурами эпистемических моделей"

Денис Федянин 

научный сотрудник ИПУ РАН, МЛ ЛогЛинФФ

выступит с докладом:

"О связи между структурами эпистемических моделей"

Аннотация:
В докладе описан алгоритм построения эпистемической модели весьма общего вида. Идея алгоритма заключается в применении двух операций — операции выбора в возможном мире всех агентов, способных к созданию в своих размышлениях возможных миров, и операции выбора всех возможных миров, созданных агентом. Аксиома выбора предполагается выполняющейся. Построенное таким образом бесконечное дерево может быть редуцировано до дерева возможных миров или до дерева агентов. Независимо от этого исходная структура может оказаться компактной и быть представлена в виде графа конечной глубины и ширины. И, наконец, может оказаться, что каждый агент имеет ровно один образ возможного мира или же (если таких миров больше), можно потребовать от агента выбрать только один их них (аналогично выбору представителя в нечеткой логике). Среди структур, получающихся в результате комбинации этих четырех преобразований, есть как хорошо известные, так и малоизвестные. Представляется интересным изучение их связей между собой, а также оценка получающихся структур с позиции удобства, применимости и т.д. Будут немного затронуты философская, вычислительная, логическая, теоретико-игровая и лингвистическая составляющие свойств этих структур. 

• Время: 24 июня (ср), 16.40

Zoom: 

• Идентификатор конференции: 652 689 6901
• Доступ к конференции по паролю, для получения пароля, пожалуйста, напишите по адресу llfp@hse.ru