期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于可能性决策的敌对危机行动预测与仿真
1
作者 胡睿 柳少军 《指挥控制与仿真》 2013年第5期70-74,共5页
可能性决策能较好地应对军事领域常常出现的概率难以获得,或者强调"出奇制胜"而有意规避概率风险的情形,是解决知识不完备情况下敌对行动预测的有力手段。从可能性理论基本公理体系出发,结合动态规划方法,提出并证明可能性决... 可能性决策能较好地应对军事领域常常出现的概率难以获得,或者强调"出奇制胜"而有意规避概率风险的情形,是解决知识不完备情况下敌对行动预测的有力手段。从可能性理论基本公理体系出发,结合动态规划方法,提出并证明可能性决策的最优化定理,给出多步条件下可能性决策的实现算法,结合危机条件下敌对行动预测的范例和仿真分析,并与传统概率风险决策进行比较,体现可能性决策的优越性,为该方法的推广应用创造条件。 展开更多
关键词 可能性决策 敌对行动预测 最优性定理 动态规划
下载PDF
基于可能性决策的CGF敌情预测智能模拟
2
作者 胡睿 柳少军 《系统仿真学报》 CAS CSCD 北大核心 2013年第S1期234-238,共5页
面向高级指挥训练和方案计划推演的兵棋系统需要能够进行战场敌情智能预测的CGF,而敌情预测本身又是"像敌人一样思考和决策"的过程。可能性决策是解决知识不完备情况下决策预测的有力手段,从可能性理论基本公理体系出发,结合... 面向高级指挥训练和方案计划推演的兵棋系统需要能够进行战场敌情智能预测的CGF,而敌情预测本身又是"像敌人一样思考和决策"的过程。可能性决策是解决知识不完备情况下决策预测的有力手段,从可能性理论基本公理体系出发,结合动态规划方法,提出并证明可能性决策的最优化定理,给出多步条件下可能性决策的实现算法,结合危机条件下敌方行动预测的范例和仿真分析,与传统概率风险决策进行比较,体现可能性决策的优越性,为其推广应用创造条件。 展开更多
关键词 CGF 可能性决策 敌情预测 动态规划
下载PDF
基于决策过程的广义可能性计算树逻辑模型检测 被引量:12
3
作者 马占有 李永明 《中国科学:信息科学》 CSCD 北大核心 2016年第11期1591-1607,共17页
本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能... 本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能性计算树逻辑模型检测算法.该算法最大的优点是利用决策过程中的调度,将模型检测问题转换为多项式时间内模糊矩阵的运算或模糊矩阵不动点的计算.最后通过一个实例说明了广义可能性计算树逻辑模型检测在非确定性系统中的应用. 展开更多
关键词 非确定性系统 广义可能性决策过程 调度 广义可能性计算树逻辑 模型检测
原文传递
广义可能性决策过程的计算树逻辑模型检测 被引量:3
4
作者 马占有 李永明 《计算机工程与科学》 CSCD 北大核心 2015年第11期2162-2168,共7页
模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此... 模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此类系统的广义可能性计算树逻辑模型检测问题。结论表明,其模型检测算法的时间复杂度也为多项式时间。所获得的结果扩大了广义可能性测度在模型检测中的应用范围。 展开更多
关键词 并发系统 广义可能性决策过程 广义可能性计算树逻辑 模型检测
下载PDF
基于广义可能性的模态μ演算符号模型检测
5
作者 陈娜 耿生玲 《模糊系统与数学》 北大核心 2023年第4期55-64,共10页
随着计算机功能的不断增强,软硬件系统也变得越来越复杂,使得人们对系统的需求更高。系统建模中可能存在的诸多不确定性信息也亟待被解决,为了充分解决系统信息来源的种种不确定性特征和各种不完备性,本文引入了广义可能性决策过程理论... 随着计算机功能的不断增强,软硬件系统也变得越来越复杂,使得人们对系统的需求更高。系统建模中可能存在的诸多不确定性信息也亟待被解决,为了充分解决系统信息来源的种种不确定性特征和各种不完备性,本文引入了广义可能性决策过程理论作为系统模型。在此基础上,给出了广义可能性模态μ演算的语法和语义;然后通过约简有序二叉决策图进行布尔存储来描述广义可能性不确定信息系统的特征属性;最后给出了广义可能性的模态μ演算符号化模型检测算法和时间复杂度。同时,通过广义可能性的模态μ演算符号化模型检测算法也有效缓解了状态爆炸问题,这对不确定性信息系统的模型检测提供了一种新的思路。 展开更多
关键词 广义可能性决策过程 符号模型检测 有序二值决策图 模态μ演算
原文传递
可能性决策图
6
作者 谷文祥 王乐 殷明浩 《东北师大学报(自然科学版)》 CAS CSCD 北大核心 2012年第2期36-40,共5页
基于可能性理论和二元决策图提出一种新的决策图———可能性决策图.用于对不确定环境下的不精确和模糊的信息进行编码,并严格证明了所提出的可能性决策图能规范地表示可能性命题公式.最后定义了可能性决策图上的三种运算.
关键词 二元决策图 可能性理论 可能性决策图
下载PDF
基于可能回答集程序的多Agent信念协调 被引量:2
7
作者 吴甜甜 王洁 《计算机科学》 CSCD 北大核心 2020年第2期201-205,共5页
多Agent系统(Multi-Agent System,MAS)是人工智能领域的一个非常活跃的研究方向。在多Agent系统中,由于Agent之间信念的差异,会不可避免地造成行动冲突。Sakama等提出的严格协调方法只适用于各Agent之间有共同信念的情境,当不存在共同... 多Agent系统(Multi-Agent System,MAS)是人工智能领域的一个非常活跃的研究方向。在多Agent系统中,由于Agent之间信念的差异,会不可避免地造成行动冲突。Sakama等提出的严格协调方法只适用于各Agent之间有共同信念的情境,当不存在共同信念时,此协调方法无解。针对该问题,文中提出了一种基于可能回答集程序(Possibilistic Answer Set Programming,PASP)的信念协调方法。首先,针对各Agent的不同信念集,基于加权定量的方法计算PASP的回答集相对Agent信念的满足度,以此来弱化某些信念,并且引入缺省决策理论推理得到Agent信念协调的一致解。然后,根据一致解建立一致的协调程序,将其作为Agent共同认同的背景知识库。最后,以dlv求解器为基础实现了多Agent信念协调算法,使Agent之间可以自主完成信念协调。文中以旅游推荐系统为例,说明该算法能够打破严格协调方法的局限,有效解决各Agent之间无共同信念时的协调问题。 展开更多
关键词 可能回答集程序 加权定量 缺省决策理论 协调程序 多AGENT系统
下载PDF
基于可能性测度的工程管理决策的研究 被引量:2
8
作者 李召妮 马占有 李永明 《计算机科学》 CSCD 北大核心 2014年第8期118-121,129,共5页
考虑可能性Kripke结构的一种扩展形式——带有成本的可能性Kripke结构,并且研究在此之上的期望测度和多属性决策问题。带有成本的可能性Kripke结构是在可能性Kripke结构的转移关系上(或者是状态上)给定了成本——这个自然数可以看成是成... 考虑可能性Kripke结构的一种扩展形式——带有成本的可能性Kripke结构,并且研究在此之上的期望测度和多属性决策问题。带有成本的可能性Kripke结构是在可能性Kripke结构的转移关系上(或者是状态上)给定了成本——这个自然数可以看成是成本,当然也可以看成是收益。在此只考虑转移关系上的成本。为了便于理解,文中给出实例,即应用带有成本的可能性Kripke结构的相关理论来解决工程管理决策的某些问题。 展开更多
关键词 可能性测度 带有成本的Kripke结构 多属性决策 期望测度
下载PDF
基于广义可能性决策过程的可达性问题的模型检测
9
作者 王军梅 李永明 《模糊系统与数学》 北大核心 2022年第5期95-104,共10页
在广义可能性测度下,用广义可能性决策过程(GPDP)建模系统,基于策略的广义可能性线性时序性质的模型检测问题,包括可达性、总是可达性、重复可达性被讨论。本文所获得的结果扩大了经典模型检测的应用范围。
关键词 广义可能性决策过程 模型检测 策略 可达性
原文传递
具有多值决策过程的广义可能性计算树逻辑模型检测 被引量:1
10
作者 袁申 魏杰林 李永明 《计算机工程与科学》 CSCD 北大核心 2019年第1期88-97,共10页
模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定... 模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用。首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性。然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算。最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例。 展开更多
关键词 模型检测 多值计算树逻辑 广义可能性测度 多值决策过程
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部