LPMLN推理解释机制的研究.pdf

《LPMLN推理解释机制的研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、学校代码：10286分类号：TP182密级：公开UDC：004.8学号：151547MLNLP推理解释机制的研究研究生姓名：花琪导师姓名：翟玉庆教授申请学位类别工学硕士学位授予单位东南大学一级学科名称软件工程论文答辩日期2018年6月21日二级学科名称学位授予日期2018年月日答辩委员会主席李必信教授评阅人张志政副教授院盲181762018年06月27日硕士学位论文MLNLP推理解释机制的研究专业名称：软件工程研究生姓名：花琪导师姓名：翟玉庆教授ResearchonExplanationMechanism

2、ofLPMLNReasoningAThesisSubmittedtoSoutheastUniversityFortheAcademicDegreeofMasterofEngineeringBYHUAQiSupervisedbyProfessorZHAIYuQingSchoolofComputerScienceandEngineeringSoutheastUniversityJune2018东南大学学位论文独创性声明本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文

3、中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得东南大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。研究生签名：日期：东南大学学位论文使用授权声明东南大学、中国科学技术信息研究所、国家图书馆、《中国学术期刊（光盘版）》电子杂志社有限公司、万方数据电子出版社、北京万方数据股份有限公司有权保留本人所送交学位论文的复印件和电子文档，可以采用影印、缩印或其他复制手段保存论文。本人电子文档的内容和

4、纸质论文的内容相一致。除在保密期内的保密论文外，允许论文被查阅和借阅，可以公布（包括以电子信息形式刊登）论文的全部内容或中、英文摘要等部分内容。论文的公布（包括以电子信息形式刊登）授权东南大学研究生院办理。研究生签名：导师签名：日期：摘要摘要LPMLN是一种结合了回答集程序（ASP，AnswerSetProgramming）与马尔科夫逻辑网（MLN，MarkovLogicNetwork）的知识表示和推理语言，具有非单调和不确定推理的能力，并能处理不一致，是国家863项目“开放域知识关联、推理与检索关键技术

5、及系统”的核心推理技术。在863项目中，需要对LPMLN的推理结果进行解释，展示结果的推出过程。针对该需求，本文主要研究一种LPMLN推理解释机制，并以此机制为核心设计并实现了LPMLN推理解释系统。本文的主要工作及成果有：(1)考虑到LPMLN是ASP的扩展，且项目采用的程序都是正规逻辑程序（NLP,NormalLogicProgram），作为基础首先研究了ASP的推理解释技术。定义了正规逻辑程序的解释空间以及解释空间上的ASP推理解释。基于上述定义，提出了一种以解释空间生成算法和ASP推理解释生成算法

6、为核心的ASP推理解释模型，为LPMLN推理解释机制的研究奠定了基础。(2)在ASP推理解释模型的基础上，研究LPMLN的推理解释的机制。首先定义LPMLN的推理解释为一个集合，该集合的每个元素都是带有概率的相关ASP的推理解释，并满足概率之和等于LPMLN推理结果的概率。在此基础上，设计了一个LPMLN推理解释生成模型，该模型通过对LPMLN程序进行实例化和筛选，将LPMLN推理解释归约为了ASP推理解释。(3)基于LPMLN推理解释机制，设计并实现了一个LPMLN推理解释系统。并用应用案例验证了LPM

7、LN推理解释机制的有效性。关键词：回答集程序；LPMLN；推理解释I东南大学硕士学位论文AbstractLPMLNisaknowledgerepresentationandreasoninglanguagewhichconbiningAnswerSetProgramming(ASP)andMarkovLogicNetwork(MLN).Itiscapableofnonmonotonicreasoninganduncertaintyreasoning.LPMLNisviewedasoneofthecorer

8、easoningtechnologyinthe863project,“Thekeytechnologyandsystemforopendomainknowledgelinking,reasoningandretrieving”,duetoitsabilityofhandlingwithinconsistencyinlogicprogram.Intheproject,itisrequiredtoexplaintheLPMLNre