约束探索与仿真轨迹包络

仿真所隐含的理论并不在于单个选择，而在于所有可能轨迹的“包络”——关键在于整个包络的形状。通常，探索此包络形状所需的计算量巨大，尤其是当实验涉及影响仿真动力学的诸多因素时。本文提出了一种系统性地探索该包络的方法。我们提出了一种搜索方法，用于寻找趋势并证明其相对于模型参数化、代理选择以及仿真语言逻辑的范围而言是必然的。该探索包括基于此类参数化和选择的前向链式生成受约束轨迹。此外，我们提出了一种计算程序，通过将多代理系统仿真“编译”为对可能轨迹的约束搜索来实现此探索，方法是使用适当的模块化将仿真规则分区。我们展示了该程序的一个实例。