-
题名概率逻辑可能世界的Petri网模型
被引量：3
- 1
-
-
作者
林闯
陆维明
-
机构
国家信息中心信息科学研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1994年第4期307-311,共5页
-
基金
国家自然科学基金
中国科学院管理
决策和信息系统开放实验室资助
-
文摘
本文研究概率逻辑中推导可能世界的Ｐｅｔｒｉ网模型．该模型为可能世界的产生提供有效算法．这个算法被证明是正确的，它可以产生所有的一致的可能世界．文章中还分析了算法的复杂性．通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具．
-
关键词
概率逻辑
petri网
模型
-
Keywords
Probabilistic logic
possible worlds
petri nets
marking
reachability tree
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名Petri网用于求解概率逻辑的近似可能世界矩阵
被引量：1
- 2
-
-
作者
林闯
陆维明
-
机构
国家信息中心信息科学研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1995年第1期1-8,共8页
-
基金
国家自然科学基金
中国科学院管理决策和信息系统开放实验室基金
-
文摘
概率逻辑中的可能世界随着问题增长而指数性增长，使问题求解难以实现．Ｎｉｌｓ－ｓｏｎ提出了一种矩阵列产生方法［１］，可得到近似而规模小的矩阵，但他没有提出具体的算法．本文提出一种Ｐｅｔｒｉ网模型，可为Ｎｉｌｓｓｏｎ方法的求解提供有效途径．
-
关键词
概率逻辑
petri网
矩阵
算法
-
Keywords
Probabilistic logic
possible worlds
petri nets
markings
reachability tree.
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名基于逻辑博弈决策Petri网的应急决策建模与分析
被引量：1
- 3
-
-
作者
李清
刘伟
管梦真
杜玉越
孙红伟
-
机构
山东科技大学计算机科学与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2022年第4期294-301,共8页
-
基金
山东省自然科学基金面上项目(ZR2020MF033)
国家自然科学基金(61472228)。
-
文摘
发挥逻辑Petri网对批处理和传值不确定性的建模优势,融合多主体博弈过程的相关博弈要素,为多主体决策问题建模,解决多主体动态博弈决策优化问题,文中提出了逻辑博弈决策Petri网。首先,定义每个token的属性为理性人并为其定义效用函数值以及状态概率转移函数。其次,引入决策变迁,依据token效用函数值对比确定最优决策变迁的引发并给出相关算法。最后,基于逻辑博弈决策Petri网对突发事件的动态博弈应急决策过程进行建模与分析,并依据可达标识构建可达图,对动态博弈过程进行分析,针对可达图的生成进行算法描述,并探讨突发事件的逻辑博弈决策模型如何解决动态博弈决策问题、生成最优应急预案以及应急过程中对资源冲突的分析。在此基础上验证了模型在分析突发事件的应急决策过程中的有效性和优越性。
-
关键词
逻辑博弈决策petri网
动态博弈
可达图
决策变迁
-
Keywords
Logical probability game petri nets
Dynamic game
Reachable graph
Decision-making transition
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
