概率逻辑可能世界的Petri网模型
A PETRI NET MODEL FOR THE GENERATION OF POSSIBLE WORLDS OF PROBABILISTIC LOGIC作者机构：国家信息中心信息科学研究所中国科学院数学研究所
出 版 物：《计算机学报》 (Chinese Journal of Computers)
年 卷 期：1994年第17卷第4期
页 面：307-311页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金 中国科学院管理 决策和信息系统开放实验室资助
摘 要：本文研究概率逻辑中推导可能世界的Ｐｅｔｒｉ网模型．该模型为可能世界的产生提供有效算法．这个算法被证明是正确的，它可以产生所有的一致的可能世界．文章中还分析了算法的复杂性．通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具．
维普期刊数据库
同方期刊数据库