调和理性与随机性：双人博弈中的丰富行为模型

两种传统范式常用于描述多智能体复杂系统中智能体的行为。第一种中，智能体被视为完全理性，系统被视为多人博弈。第二种中，智能体被视为完全随机过程，系统本身被视为一个大型随机过程。从某个必须选择策略的特定智能体的立场来看，范式的选择至关重要：最适当的策略取决于对其他智能体所做的假设。本文中，我们关注双人博弈及其在反应式系统可靠控制器的自动综合中的应用——这是一个处于计算机科学与数学交叉领域的方向。在此设定下，待控制的反应式系统是一名参与者，其环境是对手，通常假设为完全对抗性或完全随机性。我们阐释了若干近期进展，旨在通过提供形式化概念和数学框架来推理更丰富的行为模型，从而打破这一狭隘的分类法。此类模型的兴趣不仅限于反应式系统综合，还扩展到博弈论的其他应用领域。我们工作的目标是面向广泛受众给出关键概念与应用的高层阐述。为实现此目标，我们在日常生活的经典挑战上阐释这些丰富行为模型：在不确定环境中规划行程。