量子理论的信息论方法，II：量子理论的形式规则

在一篇姊妹论文（以下称论文I）中，我们提出了从一组物理上可理解的假设导出有限维抽象量子形式的尝试。在本文中，我们表述了一个对应原理，即平均值对应原理，它允许在系统的经典模型中已知成立的测量输出间关系被系统地移入该系统的量子模型。利用此原理，我们导出了时间演化算符的显式形式（从而完成论文I开始的抽象量子形式的推导），并导出将抽象量子形式应用于建模特定物理系统所需的许多形式规则（如算符规则、对易关系和Dirac的泊松括号规则）。