Лекция: “Агенты с открытым исходным кодом в дилемме заключенного”

На этой лекции вы узнаете про агентов теории игр, имеющих доступ к исходному коду друг друга. С помощью модальной логики мы построим агента, который сотрудничает с самим собой в однократной дилемме заключенного, при этом:

• Сотрудничество робастно - оно не требует точного равенства исходных кодов агентов
• Сотрудничество неэксплуатируемо - построенный агент не кооперируется с теми, кто его предаёт
• Построенный агент не будет кооперироваться с агентом, который безусловно кооперируется со всеми

Лекция рассчитана на широкую аудиторию — основные идеи будут понятны даже без математического бекграунда. Если же вы хотите прийти максимально подготовленными, вам будет полезно ознакомиться с:

• Арифметикой Пеано
• Модальной логикой доказуемости Гёделя-Лёба
• Формулировкой теоремы Лёба.

Спикер

Владислав Кокин