概率逻辑含多重原子交集分解模型的可靠性

发布时间：2018-09-08 13:26

【摘要】：文中给出含多重原子公式交集的概率逻辑分解计算模型的可靠性证明．若概率逻辑公式集可被划分为含多重原子交集的子集，且交集的原子个数较少，则分解算法将明显地缩小概率逻辑自动推理线性规划模型的规模．
[Abstract]:In this paper, the reliability proof of the probabilistic logic decomposition calculation model with the intersection of multiple atomic formulas is given. If the set of probabilistic logic formulas can be divided into a subset containing the intersection of multiple atoms, and the number of atoms in the intersection is small, Then the decomposition algorithm will obviously reduce the scale of linear programming model of probability logic automatic reasoning.
【作者单位】： 空军指挥学院 国防科技大学计算机科学系
【基金】：国家自然科学基金,国家“863”高科技项目基金
【分类号】：TP18,O141.3

【相似文献】

相关期刊论文 前10条

1 延卫军;蒙少亭;李万社;;关于两尺度序列的一点注记[J];西安文理学院学报(自然科学版);2009年02期

2 周文俊，，李大美，刘水兵;电磁场分解算法中罚因子的作用及选取准则[J];武汉水利电力大学学报;1995年04期

3 王德瀚;;基于粗糙集理论的知识库分解与规则获取[J];科技信息;2006年S4期

4 孙培培;;一般二次规划的一种分解算法[J];甘肃联合大学学报(自然科学版);2008年04期

5 芮执元;刘美萍;刘军;冯亚岗;张伟华;;敏捷制造(AM)环境下多供应商选择模型研究[J];机械设计与制造;2009年10期

6 肖晶洁;黄晓霖;王书宁;;单机总误工排序问题的启发式算法的性能扩张方法[J];清华大学学报(自然科学版)网络.预览;2008年10期

7 费景高;应用插值的数值求解常微分方程组初值问题的分解算法的收敛性和收敛阶[J];数值计算与计算机应用;1984年04期

8 司成功;;具有存贮费用销售问题的分解算法[J];安徽工学院学报;1987年Z1期

9 魏紫銮;;内点方法的线性规划分解原则和算法(Ⅰ)[J];科学通报;1993年13期

10 童小娇;李董辉;;半光滑方程的牛顿型分解算法及其在最优潮流中的应用[J];长沙理工大学学报(自然科学版);2007年04期

相关会议论文 前10条

1 仲伟俊;徐南荣;陈森发;;一类动态大规模非凸优化问题的分解算法及其应用[A];科学决策与系统工程——中国系统工程学会第六次年会论文集[C];1990年

2 王哲民;叶耀华;;二次广义网络规划的分解算法[A];复杂巨系统理论·方法·应用——中国系统工程学会第八届学术年会论文集[C];1994年

3 石慧中;林洪义;石飞飞;石殿祥;;一种不完全Cholesky分解算法[A];中国地球物理第二十一届年会论文集[C];2005年

4 叶春生;易天元;戴克中;;具有相关噪声线性系统的分解算法[A];1997中国控制与决策学术年会论文集[C];1997年

5 李大卫;王梦光;;广义车辆路径问题——模型及算法[A];1997中国控制与决策学术年会论文集[C];1997年

6 吴海龙;俞汝勤;;有机及生化分析中的“数学分离”和直接定量分析[A];中国化学会第十四届有机分析及生物分析学术研讨会会议论文摘要集[C];2007年

7 孙振东;夏小华;;一个结构分解算法及其在解耦问题中的应用[A];1995中国控制与决策学术年会论文集[C];1995年

8 徐炳吉;孟昭为;段福兴;;一类多站联合多目标跟踪分解算法[A];1995年中国控制会议论文集（下）[C];1995年

9 吴海龙;蒋健晖;沈国励;俞汝勤;;现代分析化学中的“数学分离”及其张量校正[A];第九届全国计算（机）化学学术会议论文摘要集[C];2007年

10 吴华挚;韦岗;;智能天线的波束成型算法及其发展方向[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年

相关重要报纸文章 前1条

1 南华期货研究所 丁玉洁;日内持仓异动与期价涨跌的“概率逻辑”[N];期货日报;2011年

相关博士学位论文 前10条

1 李勇;基于条件事件代数的概率逻辑推理和概率逻辑衍推推理[D];云南大学;2010年

2 李永彬;非线性代数方程组的扩WE相对单纯分解和真正常分解算法[D];四川大学;2001年

3 丁然;不确定条件下鲁棒性生产调度的研究[D];山东大学;2006年

4 张立福;通用光谱模式分解算法及植被指数的建立[D];武汉大学;2005年

5 左燕;大规模复杂生产调度问题瓶颈分解方法研究[D];上海交通大学;2007年

6 赵松原;模拟退火结合正交分解算法的气动外形最优化设计[D];南京航空航天大学;2006年

7 夏阿林;高维化学计量学方法的若干基础性研究以及在药物分析中的应用[D];湖南大学;2007年

8 杨锋;自适应广义特征分解及在通信中的应用[D];中国科学技术大学;2007年

9 胡晓依;基于非高斯、非平稳信号处理的机械故障特征提取方法研究[D];北京交通大学;2009年

10 吕建成;神经网络中的若干问题研究[D];电子科技大学;2006年

相关硕士学位论文 前10条

1 姚建明;供应链协作商选择过程中的计算方法研究[D];西南交通大学;2003年

2 丁玉洁;三线性分解算法和LC-DAD联用于多组分同时定量分析研究[D];湖南大学;2005年

3 叶中华;非均匀Haar小波[D];西安建筑科技大学;2007年

4 王毅兵;AFS结构分解算法及其在故障诊断中的应用[D];大连海事大学;2005年

5 许海洋;基于泛逻辑学的概率逻辑算子的研究[D];首都师范大学;2006年

6 马冬梅;约束满足问题分解算法及其在配置求解中的应用[D];吉林大学;2007年

7 余云霞;一种乘法分解算法及其在FIR数字滤波器设计中的应用研究[D];湘潭大学;2007年

8 郭加安;基于泛逻辑学的概率逻辑及其算子的研究[D];首都师范大学;2007年

9 李俊艳;光网络中资源分配算法的研究[D];电子科技大学;2008年

10 魏慧荣;最小VC维分类器的一种实现方法[D];南京师范大学;2007年

本文编号：2230653