未找到相关数据
概率逻辑可能世界的Petri网模型
被引：3
作者：
林闯，陆维明
机构：
[1] 国家信息中心信息科学研究所，中国科学院数学研究所
来源：
关键词：
概率逻辑，可能世界，Petri网，标记，可达树;
D O I：
暂无
中图分类号：
TP393 [计算机网络];
学科分类号：
081201 ;
1201 ;
摘要：
本文研究概率逻辑中推导可能世界的Ｐｅｔｒｉ网模型．该模型为可能世界的产生提供有效算法．这个算法被证明是正确的，它可以产生所有的一致的可能世界．文章中还分析了算法的复杂性．通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具．
引用
收藏
页码：307 / 311
页数：5
相关论文