Empty Name
пишу абстракт для одного крутого воркшопа по философии науки в Дании
update: он по философии физики, но я знаю как завернуть свою тему в эту сторону
Empty Name
из всего общения надо оставить только cryptic communication и формулы
бип-боп-бип-боп классы смежности бип-боп-бип-боп квантификация высшего порядка бип-боп-бип-боп теория когомологий Стинрода — Эйленберга
думаю заявление (и дальнейшие следствия) Зеленского о необходимости нюки для Украины идеально описываются динамической логикой публичных объявлений
Empty Name
думаю заявление (и дальнейшие следствия) Зеленского о необходимости нюки для Украины идеально описываются динамической логикой публичных объявлений
как пример публичного объявления, которая приводит к противоположным результатам
между прочим вопрос абсолютно тупой, но так я нашел статью по теории игр + логика публичных объявлений, что очень интересно
https://link.springer.com/article/10.1007/s11229-010-9838-8
https://link.springer.com/article/10.1007/s11229-010-9838-8
SpringerLink
What will they say?—Public Announcement Games
Synthese - Dynamic epistemic logic describes the possible information-changing actions available to individual agents, and their knowledge pre- and post conditions. For example, public announcement...
🔥1
Empty Name
между прочим вопрос абсолютно тупой, но так я нашел статью по теории игр + логика публичных объявлений, что очень интересно https://link.springer.com/article/10.1007/s11229-010-9838-8
Since the outcome of information exchange ultimately depends on the actions chosen by all the agents in the system, and assuming that agents have preferences over such outcomes, this is a game theoretic scenario. This is, in our opinion, an interesting general research direction, combining logic and game theory in the study of rational information exchange.