博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
《知识图谱》阅读笔记(九)
阅读量:2134 次
发布时间:2019-04-30

本文共 1357 字,大约阅读时间需要 4 分钟。

9.1 知识图谱中的典型推理任务

9.1.1 知识补全

9.1.2 知识问答

9.2 知识推理分类

9.2.1 归纳推理和演绎推理

9.2.1.1 归纳推理

归纳是从特殊到一般的过程。所谓归纳推理,就是根据部分对象所具有的的性质,推出一类事物中所有对象都具有这类性质的推理方式。

其一般分为三个步骤:

(1)对部分资料进行观察、分析和归纳整理;
(2)得出规律性结论,即猜想;
(3)检验猜想;

计算机在归纳推理上的运用主要集中在通过事实或者实例,使用数据挖掘等方法,总结出通用或局部通用的规则,详见第9.2.2.2节。

9.2.1.1 演绎推理

狭义理解:可以认为是归纳推理的对立任务,是从一般到特殊的推导过程。

更具体地,演绎推理就是从一般性的前提出发,通过推到即“演绎”,得出具体陈述或个别结论的过程。

最经典的演绎推理是亚里士多德提出的三段论,是演绎推理中最简单的一种,其包含:一个一般性原则(大前提),一个附属于前面大前提的特殊化陈述(小前提),以及由此引申出的特殊化陈述符合一般性原则的结论。

演绎推理不仅仅局限于三段论,也不只是从一般到特殊的过程,它有着强烈的“演绎”特性,重在通过利用每一个证据,逐步地推导到目标或意外的结论。该类推理被广泛应用于数学物理中的证明推导等任务。

演绎推理中的矛盾关系:在同一个世界中描述同一个问题,两个矛盾的语句或命题不能同时为真,也不能同时为假,即一个命题是真时,另一个命题比为假;反过来若我们知道一个命题为假,那么另一个则一定为真。

充分条件:对应着“如果……就……”“有……就有……”“若是(倘若)……就……”“哪里有……哪里就有……”“一旦……就……”“假若……则……”“只要……就……”。

必要条件:一般与否定相关,在自然语言中对应着“没有……就没有……”“不……不……”“除非……不……”“除非……才……”“除非……否则……”。在演绎推理中,这种细微的描述可能会导致推力方向乃至推理结果的变化。

9.2.2 确定性推理和不确定性推理

9.2.2.1 确定性逻辑推理

9.2.2.2 不确定性推理

  1. 概率图模型
  2. 概率逻辑推理
  3. 关联规则挖掘

9.2.3 符号推理和数值推理

9.3 基于符号演算的推理

9.3.1 归纳推理:学习推理规则

9.3.1.1 频繁子图挖掘

9.3.1.2 归纳逻辑编程

9.3.1.3 结构学习方法

9.3.2 演绎推理:推理具体事实

9.3.2.1 确定性推理:λ 演算

9.3.2.2 不确定性推理:马尔可夫逻辑网和概率软逻辑

9.4 基于数值计算的推理

9.4.1 基于张量分解的方法

9.4.2 基于能量函数的方法

9.5 符号演算和数值计算的融合推理

9.6 常识知识推理

常识没有统一的定义,通常我们认为常识是普遍的、普通大众都应该知晓,是正常社会中心智建全的成年人所应具备的基本知识,包括生存技能、基本劳作技能、基础的自然科学以及人文社会科学知识等。

常识本身虽然简单,但是对于常识的由来,常识的传播方式,常识的置信度评估,常识在计算机中的表示,这些都是很难而且目前没被解决的问题。

由于常识没有统一的表示方法,因此,常识的推理形式也取决于常识的表示方法。

著名的常识知识库:ConceptNet、Cyc。

9.7 小结

转载地址:http://hdugf.baihongyu.com/

你可能感兴趣的文章
Java并发编程:线程池的使用
查看>>
redis单机及其集群的搭建
查看>>
Java多线程学习
查看>>
检查Linux服务器性能
查看>>
Java 8新的时间日期库
查看>>
Chrome开发者工具
查看>>
【LEETCODE】111-Minimum Depth of Binary Tree
查看>>
【LEETCODE】235-Lowest Common Ancestor of a Binary Search Tree
查看>>
【LEETCODE】110-Balanced Binary Tree
查看>>
【LEETCODE】101-Symmetric Tree
查看>>
【LEETCODE】257-Binary Tree Paths
查看>>
【LEETCODE】102-Binary Tree Level Order Traversal
查看>>
【LEETCODE】107-Binary Tree Level Order Traversal II
查看>>
数据结构-stack-学习笔记
查看>>
【LEETCODE】145-Binary Tree Postorder Traversal
查看>>
【LEETCODE】144-Binary Tree Preorder Traversal
查看>>
【LEETCODE】94-Binary Tree Inorder Traversal
查看>>
【LEETCODE】96-Unique Binary Search Trees
查看>>
【LEETCODE】95-Unique Binary Search Trees II
查看>>
【LEETCODE】108-Convert Sorted Array to Binary Search Tree
查看>>