现有的表达概率论证语义的方法是基于可能世界的概念。 给定一个具有n个节点的概率自变量图，构造2 ^ n个子图并计算它们在给定语义下的扩展。 然后， 一组参数E为扩展的概率等于所有子图的概率之和，每个子图的扩展都有E。由于在许多情况下，计算子图的扩展由于计算量大，这些方法根本上是无效的或不可行的。 为了解决这个问题，本论文提出了一种新颖的方法来表达概率语义通过对子图加扩展名来进行论证。 结果表明，在某些语义（可允许，完全，稳定）下， 可以获得一组参数E为扩展的概率不计算子图的扩展名，而在其他情况下