声明:知识学习中本文主体按照浙江大学陈华钧教授的《知识图谱》公开课讲义进行介绍,并个别地方加入了自己的注释和思考,希望大家尊重陈华钧教授的知识产权,在使用时加上出处。感谢陈华钧教授。
学识时间:2023年5月16日15:32:30
Top-down logic
(1)Modus ponens(肯定前件假言推理)
mode that affirms by affirming(通过确认来确认的模式)
推理 | 举例 |
---|---|
P一> Q (conditional statement,环境设定) | If today is Tuesday, then John will go to work |
P (hypothesis stated,假设设定) | Today is Tuesday |
Q(conclusion deduced,结论推理) | Therefore, John will go to work |
(2)Modus tollens(否定后件假言推理)
mode that denies by denying(通过否定来否定的模式)
推理 | 举例 |
---|---|
P一> Q | If it is raining, then there are clouds in the sky |
Q | There are no clouds in the sky. |
Therefor ,we can conclude that P | Thus, it is not raining. |
(3)Law of syllogism(三段论)
推理 | 举例 |
---|---|
P一> Q | If Larry is sick, then he will be absent. |
Q一>R | If Larry is absent, then he will miss his classwork. |
Therefor , P一>R | Therefore, if Larry is sick, then he will miss his classwork |
Bottom-up logic
The derivation of general principles from specific observations, for example, if all swans that we have observed so far are white, we may induce that the possibility that all swans are white is reasonable.
将来自特定观测值当做广泛的通用原则,例如,如果到目前为止,我们观测到的所有的天鹅都是白色的,我们很可能得出这种结论,即所有的天鹅都是白色是合理的。
(1)Inductive Generalization(归纳概括)
The proportion Q of the sample has attribute A.
Therefore:
The proportion Q of the population has attribute A.
如果样本的比例Q具有属性A,那么,所有的比例Q都具有属性A
There are 20 balls—either black or white—in an urn. To estimate their respective numbers,you draw a sample of four balls and find that three are black and one is white. A good inductive generalization would be that there are 15 black and five white balls in the urn。
一个盒子里有20个球,非黑即白。为了估计他们各自的数目,你做了一个4个球的取样,发现有3个黑的一个白的。那么比较好的归纳概括结果是,在盒子里共有15个黑的和5个白的球。
(2)Statistical syllogism(统计三段论)
A proportion Q of population P has attribute A.
An individual X is a member of P.
Therefore:
There is a probability which corresponds to Q that X has A.
如果所有的P的比例Q有属性A,且独立样本X是P的成员,那么,很可能X也有A属性。
90% of graduates from Excelsior Preparatory school go on to University.Bob is a graduate of Excelsior Preparatory school.Bob will go on to University.
从卓越预科学校毕业的学生有90%的人接着上了大学。Bob是从卓越预科学校毕业的。bob也将继续上大学。
Inference to the best explanation(最佳解释推理)
a form of logical inference which starts with an observation or set of observations then seeks to find the simplest and most likely explanation for the observations。
逻辑推理的一种形式,此方法从一个或一组观察结果开始,然后试图找到对此观测结果最简单、最可能的解释。
For E to be an explanation of O (Observation) according to T (Theory), it should satisfy two conditions:O follows from E and T;E is consistent with T.
对于E是根据理论T得出的针对观察O的一个解释,这需要满足两个条件:一个是观测O是跟随解释E和理论T产生的;另一个是解释E是与理论T一致的。
It is a known rule that if it rains the grass is wet; so, to explain the fact that the grass is wet; one abduces that it has rained。
正如我们所知,天下雨草会湿;于是,去解释草是湿的这个事实,一个推理原因就是天上下过雨。
Inference via Analogy(通过类比的推理)
In a narrower sense, analogy is an inference or an argument from one particular to another particular, as opposed to deduction, induction, and abduction, in which at least one of the premises, or the conclusion, is general rather than particular in nature
从狭义上讲,类比是一种从一个特定到另一个特定的推论或论证,与演绎、归纳和溯因法相对,其中至少有一个前提或结论是一般的,而不是特殊的。
Analogical Reasoning:
P and Q are similar in respect to properties a, b, and c.Object P has been observed to have further property x,Therefore, Q probably has property x also。
P和Q在属性a、b和c方面是相似的。如果对象P被观察到有新增的属性x,于是,Q可能也有属性x。
Smile is to mouth, as wink is to eye。
suppose Fred wants to prepare blueberry pancakes. Being a novice cook, the most relevant experience he can recall is one in which he successfully made plain pancakes。
Reasoning in Description Logic 描述逻辑中的推理
•Machine reasoning is a difficult task,(机器推理是一项很难的任务)
•Reasoning with KG simplifies the problem to fact prediction or relational reasoning.(用知识图谱进行推理可以将问题简化为事实预测或者关系推理)
•Many real life problems (link prediction, causal reasoning, KG-based question answering, recommendation, etc… )
can be formulated as knowledge graph reasoning or reasoning over a graph(许多实际的生活问题(如链接预测、因果推理、基于知识图谱的问答、推荐等)可以被公式化为知识图推理或者基于图的推理)
Deductive Reasoning with Ontological Axioms(基于本体公理的演绎推理)
Tbox语言:
Reasoning with graph structure (path as rules), taking PRA or AMIE as examples
显式的路径特征或规则可直接用于对推理结果进行解释
Reasoning with KG Embedding, taking DistMult as an example.
基于嵌入知识图谱推理技术,例如使用距离乘积:
Embedding-based reasoning is more efficient when there are a large number of relations or triples to reason over.
Interpretability Problem: We know the prediction result, but do not know why.
Triple Sparsity Problem: One of the main difficulties for embeddinglearning is the poor capability of encoding sparse entities withinsufficient training triples
5.3.1 基于Ontology的推理
5.3.2 规则的推理
5.4.1基于嵌入学习的知识图谱推理
5.4.2基于规则学习的知识图谱推理
5.4.3Ontology Embedding—本体概念层推理
★☆●◆□◇▲△■