概率逻辑可能世界的Petri网模型

A PETRI NET MODEL FOR THE GENERATION OF POSSIBLE WORLDS OF PROBABILISTIC LOGIC

本文研究概率逻辑中推导可能世界的Ｐｅｔｒｉ网模型．该模型为可能世界的产生提供有效算法．这个算法被证明是正确的，它可以产生所有的一致的可能世界．文章中还分析了算法的复杂性．通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具．

This paper investigates Petri net models for the possible worlds of probabilistic logic and gives a concrete method for generating possible worlds.The method is proved with soundness and completeness,and its complexity is analysed.Comparing with other methods,the method is a simple,efficient and graphical one.