LP MLN 推理解释机制的研究

发布时间：2021-10-09 10:21

　　LP^MLN是一种结合了回答集程序（ASP,Answer Set Programming）与马尔科夫逻辑网（MLN,Markov Logic Network）的知识表示和推理语言,具有非单调和不确定推理的能力,并能处理不一致,是国家863项目“开放域知识关联、推理与检索关键技术及系统”的核心推理技术。在863项目中,需要对LP^MLN的推理结果进行解释,展示结果的推出过程。针对该需求,本文主要研究一种LP^MLN推理解释机制,并以此机制为核心设计并实现了LP^MLN推理解释系统。本文的主要工作及成果有:（1）考虑到LP^MLN是ASP的扩展,且项目采用的程序都是正规逻辑程序（NLP,Normal Logic Program）,作为基础首先研究了ASP的推理解释技术。定义了正规逻辑程序的解释空间以及解释空间上的ASP推理解释。基于上述定义,提出了一种以解释空间生成算法和ASP推理解释生成算法为核心的ASP推理解释模型,为LP^MLN推理解释机制的研究奠定了基础。（2）在... 

【文章来源】：东南大学江苏省 211工程院校 985工程院校 教育部直属院校

【文章页数】：59 页

【学位级别】：硕士

【部分图文】：

推理解释界面图

第五章 LPMLN 推理解释系统的设计与实现图 5.3 推理解释界面图如图 5.4 为主界面输入样例时的展示，此时已经得到了推理解释结果，所以可以看到推理解释时间栏显示总共用时“589ms”，具体的推理解释结果展示可见图 5.5。

推理解释结果展示

【参考文献】：
硕士论文
[1]基于规则的实例数据融合模型[D]. 张陈鹏.东南大学 2017
[2]一个结合规则与本体的推理平台的设计与实现[D]. 王彬.东南大学 2015



本文编号：3426175