首页 > 编程知识 正文

关于数学逻辑推理的论文,怎样从认识论的角度分析问题

时间:2023-05-06 08:07:25 阅读:23901 作者:4380

2020-11-25-周报v1

论文一(对知识推理的认识)中文引文格式:官赛萍,甜月,kldxbw,王元卓,wydc .面向知识地图的知识推理研究进展.软件学报,2018,29 (10 );33602994 .

33558 www.jos.org.cn/1000-9825/5551.htm

1.1 知识推理的简介面向知识图的知识推理旨在基于现有知识图的事实,推理新的事实或认识错误的知识。 例如,已知DBpedia中的三元组(x,birthPlace,y ) ),并且可以极大地推论丢失的三元组(x,nationality,y ) )。

主要分为知识图互补和知识图去噪

知识图补充(知识图补充实际上给出了三元组中的任意两个元素,试图推理出另一个缺少的元素,包括实体预测和关系预测)

知识图去噪:知识图去噪集中于判断知识图内部现有三元组的准确性,但本质上是评价三元组的有效性。

1.2 基于传统方法的推理具体分为两种基于:传统规则的推理方法和基于本体的推理方法,分别将传统规则推理和本体推理方法用于面向知识图的知识推理。

基于传统规则推理的方法

传统规则推理的方法主要借鉴传统知识推理中的规则推理方法,在知识图上运用简单的规则和统计特征进行推理。 例如,NELL知识图内部的推理组件采用一级关系学习算法进行推理; 在雅虎知识地图内部采用推理机——Spass-YAGO,丰富知识地图的内容。 另外,还提出了基于1次概率语言模型ProPPR的知识地图的扩展等

基于本体推理的方法

基于本体推理的方法主要利用抽象的本体水平的频繁模式、约束或路径进行推理。 例如,基于模式的知识地图的补充、启发式规则推理知识地图的不确定和关注冲突的知识等。

1.3 单步推理单步推理是指利用直接关系知识图中的事实组进行学习和推理,根据所用方法的不同,具体有基于规则的推理、基于分布式表示的推理、基于神经网络的推理以及高精度的推理

基于方差表示的推理

在单步推理中,基于方差表示的推理首先通过表示模型学习知识图中的事实组,得到知识图的低维向量表示,然后将推理预测转换为基于表示模型的简单向量操作。 基于方差表示的单步推理有基于迁移的方法、基于tzdqyg/矩阵分解的方法、基于空间分布的方法等多种。

基于神经网络的推理

在单步推理中,神经网络推理采用神经网络直接对知识图的事实组进行建模,得到事实组元素的向量表示,用于进一步的推理。 该方法仍然是基于得分函数的方法,与其他方法不同,整个网络构成一个得分函数,神经网络的输出是得分值。

混合推理

在单步推理中,混合推理通过混合多种单步推理方法,充分利用不同方法的优点,如基于规则推理的高精度、基于分布式表达推理的高计算能力、基于神经网络推理的高学习能力、泛化能力等。 混合步骤推理包括混合规则和方差表示,以及混合神经网络和方差表示的推理。

1.4 多步推理多级推理是在用单步推理对直接关系建模的基础上,进一步对间接关系,即多级关系进行建模。 多阶段关系是传递性约束,例如,关系r1与a和b,关系r2与b和c,对应于这两个阶段路径的直接关系是关系r3与a和c。 多阶段关系的引入往往使更多的信息建模,比单步推理更有效。 多步推理按不同推理方法分类,同样分为基于规则的推理、基于方差表示的推理、基于神经网络的推理以及混合推理。

基于规则的推理

在多步骤推理中,基于规则的推理与基于规则的单步推理不同,后者使用关系r1推出关系r2的简单经验法则或1

些基于统计的频繁模式。而多步推理用到的规则更为复杂,如传递性规则。鉴于人工获取有效且覆盖率广的传递性规则代价比较高,这些规则一般通过挖掘的实体间路径来近似。根据是否引入局部结构,基于规则的多步推理可分为基于全局结构和引入局部结构的规则推理两种。

基于分布式表示的推理

多步推理中,基于分布式表示的推理与基于分布式表示的单步推理类似,都是通过向量化知识图谱进行推理。不同的是,多步推理在学习向量表示的过程中引入了多步关系约束,使得学到的向量表示更有助于实体和关系的推理预测。

基于神经网络的推理

多步推理中,基于神经网络的推理旨在用神经网络建模学习多步推理过程,包括建模多步路径以及模拟计算机或人脑的推理。

混合推理

多步推理中,混合推理通过混合不同多步方法进行推理,实现优势互补。分布式表示方法由于其计算的便捷性,通常被用于与其他方法混合.混合多步推理具体包括混合 外向的手套 与分布式表示、混合规则与分布式表示以及混合规则与神经网络的推理。

知识推理根据推理类型可分为单步推理和多步推理两大类。每类又包括基于规则的推理、基于分布式表示 的推理、基于神经网络的推理以及混合推理。各类方法的汇总见下表.

 

总的来说,单步推理基于知识图谱中的事实元组建模,而多步推理在单步推理的基础上建模了多步路径的约束,表达能力往往比单步推理更强,推理预测效果更好。

1.5 知识图谱的典型应用

前述的知识图谱补全和去噪是知识推理的两大基础应用。现有的知识图谱由于数据来源的不全面以及知识获取的遗漏,不可能构建完备的知识图谱。通常,代表性的知识图谱中有69%~99%的实体缺少至少一个属性信息三元组。例如,在Freebase 中,93.8%的人没有出生地信息,78.5%的人没有国籍信息解决办法之一就是通过知识推理方法,利用知识图谱中已有的知识去推理出新的事实(即隐含的知识),从而尽可能地对知识图谱进行补全。另一方面,就知识图谱自身而言,由于数据来源的噪声以及抽取过程的不准确,内部也存在噪声知识和知识矛盾现象。

除了知识图谱补全与去噪,知识推理在垂直搜索、智能问答、机器翻译等领域也发挥了重要作用,在疾病 诊断、金融反欺诈、数据异常分析等诸多不同的领域已展示出良好的应用前景。

例如Google的搜索,在Google搜索引擎输入查询,搜索引擎在利用知识图谱直接给出推理得到的精确回答的同时,在搜索结果的右侧显示该词条的深层信息。

在智能问答领域,IBM的Watson、Google的Google Now、苹果公司的Siri、亚马逊的Alexa、微软的柔弱的鞋子和bzdtk以及百度的度秘等是近期代表性的智能问答系统。这些系统基于知识图谱的知识推理,提供精确、简洁的答案。

论文二

X. Xiang, Z. Wang, Y. Jia and B. Fang, "Knowledge Graph-Based Clinical Decision Support System Reasoning: A Survey," 2019 IEEE Fourth International Conference on Data Science in Cyberspace (DSC), Hangzhou, China, 2019, pp. 373-380, doi: 10.1109/DSC.2019.00063.

2.1 主要研究 2.1.1 涉及知识图谱的计算和应用:KG推理。

目的是通过已知事实推断隐藏信息诱导新知识,而无需人工干预。基于其推理能力,可以实现各种下游应用程序,例如问答工具,推荐系统和文本分类设备。

2.1.2 知识图谱推理

目的

知识图谱推理,也称知识图谱补全,链接预测或知识图谱更新,无需学习特定推理公式,即可完成任务。例如,如果KG包含这样的陈述,即奋斗的小猫咪患有癫痫发作,并且癫痫发作可能导致自闭症,那么推理者应该能够学习以下公式:(奋斗的小猫咪,患有,癫痫发作)∧(癫痫发作,可能引起自闭症)⇒ (奋斗的小猫咪,也许有,自闭症)。当在临床决策支持系统中应用这种推理方法时,即使没有卫生专业人员,机器本身也可以自动识别缺失的链接或错误的事实并产生新的知识。 为简单起见,知识图推理通常分为两个子类别,一个称为嵌入方法,另一个称为基于路径的方法。

基于知识图谱嵌入的方法

知识图嵌入旨在将KG中的实体和关系投影到一个低维的连续语义空间中,以简化操作,同时保留知识图的固有结构完整。这种机制通常将实体和关系从符号空间嵌入到连续向量空间;并根据评分功能对每个唯一观察到的事实进行评估,以确定其可信度。计分功能是矢量或矩阵运算。与不存在的事实相比,KG中出现的事实倾向于构成更高的权重。最后,可以通过最大化观察到的事实的总似真性来实现嵌入表示(当今最流行的嵌入技术是RESCAL,TransE,TransH,TransR和TransD)。

基于知识图谱路径的方法

路径排序算法可以获取推理规则并处理巨大的知识图上的推理。由Lao和Cohen在2010年提出的外向的手套 [70]成为学习知识图中推理任务的有前途的方法。 外向的手套将知识库视为图形,然后使用随机游动将KG上的相关特征(或路径)序列生成为节点对上的特征矩阵。然后将它们与逻辑回归模型结合以进行推理。建立在外向的手套之上的假设是,在图节点对之间存在通过相同边线类型连接的一些公共子结构[71],并且它尝试使用关系路径的集合对该结构进行建模。

 

下图中所示的示例。假定该算法尝试学习模型并推断与图中绿线相对应的医学关系SymptomMightCause的新实例。

在最初的FindEdgeSequence轮次中,外向的手套将查找从源节点到目标节点的路径,例如,((Seizures or epilepsy, Autism), (No response to name, Autism), (Genetic Cause, Rett Syndrome)【(癫痫发作或癫痫,自闭症),(对姓名的无反应,自闭症),(遗传原因,瑞特综合症)】等。确定所有路径类型后,FindEdgeSequence会选择这些路径的一部分,以将其用作模型中的特征(在现实世界中,边缘序列太多而无法全部包含在特征矩阵中)。

ComputeFeatureMatrix步骤计算每个训练实例和相关路径序列的概率。该概率表明随机游走从遵循预定边缘类型的源节点开始并在目标节点处结束的可能性。对于此示例性知识图中给出的大多数路径,(癫痫发作或癫痫,自闭症),(对姓名无反应,交流障碍,自闭症)和(16个月内没有一个单词,交流障碍,自闭症)等于1。但是,对于某些路径(遗传原因,自闭症),概率肯定小于1,可能为0.5;由于随机步行者会间歇性地到达瑞特综合症,因此疾病不再属于ASD谱图。

最终操作TrainLogisticRegression(或在没有外向的手套方案的情况下,可以使用任何其他分类模型)可以使用前一会话提供的功能矩阵来执行即将来临的操作。

 

总结

1.知识推理主要应用于知识补全(帮助进一步完善和补全知识图谱)和应用于领域知识方面推理等功能

2.知识推理在实际的中药检索方面应用并不广泛(有待更进一步考察

3.列举部分已有医学领域方面基于知识推理的具体应用,例如,Kumar,Singh和Sanyal(2009)提出了一种基于案例推理和基于规则推理的混合方法,以构建重症监护病房(ICU)的临床决策支持系统。 García-Crespo,Rodríguez,Mencke,Gómez-Berbís和Colomo-Palacios(2010)设计了一种基于本体的差异诊断系统(ODDIN),该系统基于逻辑推理和概率改进。 Martínez-Romero等。 (2013年)建立了一个基于本体的系统,用于对急性心脏疾病的重症患者进行智能监督和治疗,其中专家的知识由OWL本体和一套SWRL规则代表。在此知识的基础上,推理引擎将执行推理过程,并为医生提供有关患者治疗的建议。 Ruan,Sun,Wang,Fang和Yin(2016)将存储在中医知识图中的数据转换为推理规则,然后将其与患者数据结合起来,以根据知识图得出辅助处方。参考来自以下论文:

 

4.知识推理具有多种实现方法,具体实现可择优选择

版权声明:该文观点仅代表作者本人。处理文章:请发送邮件至 三1五14八八95#扣扣.com 举报,一经查实,本站将立刻删除。