论文摘要
马尔科夫回答集逻辑程序(Logic Programming with Markov Logic Networks,LPMLN)通过赋予规则权重的方式扩展了回答集逻辑程序(Answer Set Prolog,ASP),并引入了马尔科夫逻辑网(Markov Logic Networks,MLN)中的方式来处理知识表示与推理中的不确定性和不一致性。因其表现能力较强,LPMLN可以用于解决多种实际问题。当前LPMLN推理的主要问题是:LPMLN推理基于LPMLN程序的求解,而LPMLN程序求解的复杂度较高,且已有的求解器主要用于理论验证,求解效率低,难以支撑进一步的应用。当前的LPMLN求解器基于转化求解法,将LPMLN程序转化为ASP或者MLN程序求解,这样间接求解效率较低;并行化可以提高LPMLN的求解效率,但是当前的LPMLN并行化求解方法还有待优化与完善,难以支撑并行求解器的实现。针对上述问题,本文一方面提出LPMLN直接求解方法,另一方面对LPMLN并行化求解方法进行优化与完善。因此,本文的主要工作包括:1.研究LPMLN的直接求解方法,包括:提出了基于转化的LPMLN实例化方法;提出了LPMLN的完备化和环公式,为直接求解提供理论基础;提出了冲突驱动的LPMLN程序求解方法,为LPMLN的直接求解提供支持。2.对已有的并行化方法进行优化与完善,包括:提出了基于传播的增强子集拆分方法,以优化基于增强子集的并行化方法;提出了分割集的计算方法,以完善基于分割集的并行化方法;结合任意分割理论,进一步完善了基于分割集的并行化方法;提出了独立子程序的计算方法,以完善基于独立可分的并行化方法;提出了LPMLN并行化求解方法的组合方法。3.基于上述方法实现了LPMLN求解器,并通过实验对方法的有效性进行了验证。
论文目录
文章来源
类型: 硕士论文
作者: 许鸿翔
导师: 翟玉庆
关键词: 马尔科夫回答集逻辑程序,稳定模型,并行化
来源: 东南大学
年度: 2019
分类: 基础科学
专业: 数学
单位: 东南大学
分类号: O211.62
DOI: 10.27014/d.cnki.gdnau.2019.002783
总页数: 85
文件大小: 1273K
下载量: 5
相关论文文献
- [1].LP之单纯形法教辅软件设计与实现[J]. 电脑知识与技术 2020(20)
- [2].基于量子遗传算法的一类非线性lp问题的求解方法[J]. 运城学院学报 2013(05)
- [3].基于LP模型的有价证券最优选择问题研究[J]. 科技广场 2015(01)
- [4].2种不同检测系统测定血清Lp(a)水平在急性缺血性脑梗死中的应用[J]. 临床检验杂志 2016(06)
- [5].LP(a)在糖尿病肾病患者中的变化及氟伐他汀对其的影响[J]. 中国当代医药 2010(36)
- [6].LP(a)与冠心病关系临床分析[J]. 医药论坛杂志 2015(07)
- [7].LP问题解的几种情况在单纯形表上的体现[J]. 湖北第二师范学院学报 2015(02)
- [8].hs-CRP、LP(a)在急性冠脉综合征患者临床危险分层中的应用[J]. 广东医学院学报 2015(03)
- [9].LP型永磁盘式磁选机卸料装置改进与应用[J]. 现代矿业 2013(05)
- [10].原发性及狼疮性肾病综合征患者血清PAI-1、Lp(a)水平变化及其临床价值探讨[J]. 现代生物医学进展 2016(08)
- [11].LP高压智能节电设备在给水泵上的应用[J]. 通讯世界 2016(15)
- [12].含自由变量LP问题的改进单纯形法[J]. 运筹与管理 2012(01)
- [13].基于LP融合和亮度变换的图像增强[J]. 计算机工程 2009(15)
- [14].子痫前期睡眠呼吸暂停低通气综合征患者血清MCP-1、IL-18、LP(a)表达[J]. 中国计划生育学杂志 2019(11)
- [15].血Lp(a)浓度与冠状动脉斑块关系的血管内超声研究[J]. 河北医药 2008(01)
- [16].不同类型脑血管病患者血清LP(a)水平变化及临床意义[J]. 中西医结合心脑血管病杂志 2009(08)
- [17].不同亚型脑卒中患者血浆Lp(a)浓度的分布比较[J]. 中国现代医学杂志 2009(15)
- [18].LP模型分析涂覆长周期光纤光栅复折射率传感器[J]. 光电工程 2010(12)
- [19].Lp(a)在急性脑梗死患者及脑卒中高危人群中的应用分析[J]. 国际检验医学杂志 2016(06)
- [20].冠心病患者支架置入术前后外周血Lp(a)、hs-CRP及IL-6水平变化的临床意义[J]. 中国医药导刊 2011(11)
- [21].冠状动脉支架术后再狭窄与血Lp(a)浓度的关系[J]. 中国误诊学杂志 2010(22)
- [22].月球探测器LP精密定轨及月球重力场模型解算[J]. 宇航学报 2011(04)
- [23].LP可行域拓扑结构动态演变仿真设计与实现[J]. 电脑知识与技术 2013(17)
- [24].稀疏图像重构非凸Lp问题的分裂方法[J]. 吉林大学学报(工学版) 2013(S1)
- [25].基于LP的电磁线绕包边缘检测[J]. 计算机工程 2011(S1)
- [26].光纤LP_(01)模远场发散角与归一化频率关系的研究[J]. 五邑大学学报(自然科学版) 2010(02)
- [27].LP鞍点共轭梯度法的研究与实现[J]. 甘肃科技 2008(22)
- [28].155例急性脑梗死患者oxLDL与Lp(a)水平临床分析[J]. 中国实用神经疾病杂志 2016(19)
- [29].三维LP图解法仿真设计与实现[J]. 中国水运 2015(05)
- [30].血清Hcy、LDL-C、Lp(a)联合检测在评价老年缺血性脑病损害中的价值[J]. 实验与检验医学 2020(01)
标签:马尔科夫回答集逻辑程序论文; 稳定模型论文; 并行化论文;