关于控制转移的推理
人工智能
2014-01-17 v1 计算机科学中的逻辑
摘要
我们提出 DCL-PC：一种用于推理 agent 及 agent 联盟的能力如何因控制权从一个 agent 转移至另一个 agent 而发生改变的逻辑。DCL-PC 的逻辑基础是 CL-PC，这是一种用于推理合作的逻辑，其中 agent 及 agent 联盟的能力源于原子 Boolean 变量在各个 agent 间的分配——联盟可用的选择对应于对其所控制变量的赋值。DCL-PC 的基本模态构造形式为“联盟 C 能合作实现 phi”。DCL-PC 通过引入动态逻辑模态扩展了 CL-PC，其中原子程序的形式为“agent i 将变量 p 的控制权交给 agent j”；与动态逻辑中一样，这些原子程序可以通过序列、迭代、选择和测试运算符组合成复杂程序。通过将此类动态转移程序与合作模态相结合，便能够推理 agent 及联盟的权力如何受控制转移的影响。我们为该逻辑提供了两种备选语义：一种是直接语义，其中我们刻画 Boolean 变量在 agent 间的分配；另一种是更常规的 Kripke 语义。我们证明了这两种语义是等价的，随后给出了该逻辑的一个公理化系统。我们研究了 DCL-PC 的模型检查和可满足性的计算复杂度，并证明这两个问题都是 PSPACE 完全的（因此不比基础逻辑 CL-PC 更复杂）。最后，我们研究了 DCL-PC 中控制的刻画。我们区分了一阶控制——agent 或联盟通过对所控制变量赋值来控制某些事态的能力——与二阶控制——agent 通过向其他 agent 转移变量来对其他 agent 所拥有的控制权施加控制的能力。我们给出了二阶控制的逻辑刻画。
引用
@article{arxiv.1401.3825,
title = {Reasoning About the Transfer of Control},
author = {Wiebe van der Hoek and Dirk Walther and Michael Wooldridge},
journal= {arXiv preprint arXiv:1401.3825},
year = {2014}
}