【摘 要】
:
LPMLN是一种结合了回答集程序(ASP,Answer Set Programming)与马尔科夫逻辑网(MLN,Markov Logic Network)的知识表示和推理语言,具有非单调和不确定推理的能力,并能处理不一致,是
论文部分内容阅读
LPMLN是一种结合了回答集程序(ASP,Answer Set Programming)与马尔科夫逻辑网(MLN,Markov Logic Network)的知识表示和推理语言,具有非单调和不确定推理的能力,并能处理不一致,是国家863项目“开放域知识关联、推理与检索关键技术及系统”的核心推理技术。在863项目中,需要对LPMLN的推理结果进行解释,展示结果的推出过程。针对该需求,本文主要研究一种LPMLN推理解释机制,并以此机制为核心设计并实现了LPMLN推理解释系统。本文的主要工作及成果有:(1)考虑到LPMLN是ASP的扩展,且项目采用的程序都是正规逻辑程序(NLP,Normal Logic Program),作为基础首先研究了ASP的推理解释技术。定义了正规逻辑程序的解释空间以及解释空间上的ASP推理解释。基于上述定义,提出了一种以解释空间生成算法和ASP推理解释生成算法为核心的ASP推理解释模型,为LPMLN推理解释机制的研究奠定了基础。(2)在ASP推理解释模型的基础上,研究LPMLN的推理解释的机制。首先定义LPMLN的推理解释为一个集合,该集合的每个元素都是带有概率的相关ASP的推理解释,并满足概率之和等于LPMLN推理结果的概率。在此基础上,设计了一个LPMLN推理解释生成模型,该模型通过对LPMLN程序进行实例化和筛选,将LPMLN推理解释归约为了ASP推理解释。(3)基于LPMLN推理解释机制,设计并实现了一个LPMLN推理解释系统。并用应用案例验证了LPMLN推理解释机制的有效性。
其他文献
多租户是云计算的重要特征之一,通过在多个租户之间共享使用软硬件资源,从而有效降低基础设施的成本,实现规模经济效益。电子商务的快速发展使得实例密集型工作流调度问题日
近几年来,由于办学水平持续上升和招生规模的不断扩大,课程安排、专业设置不断向纵深和横向延伸,学校面临着各种教学资源紧缺的情况,要在学期结束前一个较短时间内排出一份合
二阶非线性光学(NLO)材料是实现激光频率转换的功能材料,可应用于激光通讯、激光武器、眼科手术、激光加工、激光存储等领域。但是,由于目前商业化的NLO晶体存在着二次谐波输出(SHG)效应不强、抗激光损伤阈值(LIDT)低,透光范围窄等缺点,无法满足激光技术的市场需求。含有硫族元素(S、Se、Te)的化合物往往具有较大的NLO系数、较宽的透光范围等优点;同时,在含有两种结构基元的化合物中,如果两种结
作为现代通信研究的一个重要领域,无线局域网(Wireless Local Area Networks,WLAN)凭借其方便快捷、高吞吐量等优势,已成为越来越多用户的首选上网接入方式。为标准向下兼容
基于传统寿命试验的液压泵可靠性评估方法时间长、费用高,无法满足快速可靠性评估的实际需求,基于性能退化的可靠性评估方法采集表征产品健康状态的性能特征随时间的变化数据
随着网络技术的快速发展,许多多媒体项目都需要大量的计算机数据存储和读取,而如此大量的数据若只是在单一计算机上,并且在一个规定的时间内进行处理,是根本不可能完成的。为
目的:应用丹红注射液治疗急性冠脉综合征PCI术后的患者,旨在观察其对内皮功能的影响和疗效,分析其改善急性冠脉综合征PCI术后的患者短期预后的情况。方法:采用随机对照研究的
目的:通过培元还五汤配合现代康复治疗对脑卒中后疲劳(Post stroke fatigue,PoSF)的干预,探讨其对脑卒中后疲劳的疗效及血清免疫球蛋白的变化,研究脑卒中后疲劳的免疫机制,从
无线传感器网络(Wireless Sensor Network,WSN)是由大量微型传感器节点通过无线电通信方式形成的一个自组织网络系统,在诸多领域具有广泛的应用前景。由于节点大多由电池供电
数学教学是实现数学课程目标和育人价值的重要途径,新的义务教育课程标准(2011版)特别指出“有效的数学教学活动是教师教与学生学的统一,应体现‘以人为本’的理念,促进学生的全面发展”。而研究者的导师通过W市职业中专的数学调查发现,中专学生针对数学题“将一根2米长的绳子随意剪成两段,请说明:至少有一段绳子的长度不低于1米。”的回答情况令人堪忧。从统计结果上看,在有效回答的147名学生中,有7名学生能正