【马尔可夫逻辑网】（一）基础概念、术语表及其解释（中英文）

内容安排：

1. 【马尔可夫逻辑网】（一）基础概念、术语表及其解释（中英文）
2. 【马尔可夫逻辑网】（二）逻辑学背景知识
3. 【马尔可夫逻辑网】（三）马尔可夫逻辑网及其推理
4. 【马尔可夫逻辑网】（四）概率软逻辑及其推理

本节从基本概念出发：

• TeamPlaySports(x,y)表达的逻辑关系是如果某个队伍x做y这项运动，那么TeamPlaySports(x,y)的真值为真。
• 一般地，我们把TeamPlaySports(x,y)叫做predicate，中文翻译成谓词，虽然我认为TeamPlaySports才可以叫做一个“词”，但是把TeamPlaySports(x,y)称作一个谓词，更明确地指出是x和y需要满足这种逻辑关系。。
• TeamPlaySports(x,y)中的x，y是变量，需要我们为其赋值，才能根据谓词包含的逻辑来判断逻辑是否成立，即谓词的真值。
• Lakers是一支篮球球队，Basketball是一项运动，Football也是一项运动，它们叫做常量。
• 如果我们想要使用TeamPlaySports(x,y)判断我们的常量Lakers和Basketball是否满足逻辑，此时它也可以叫做atom formula，中文翻译成原子规则。
• 我们将上述常量分别带入x和y，得到TeamPlaySports(Lakers,Basketball)，我们发现Lakers做篮球这项运动是成立的，那么TeamPlaySports(Lakers,Basketball)的真值为真。
• 我们将谓词TeamPlaySports(x,y)中所有的变量用常量替代的过程叫做grounding，暂无翻译。。。
• 那么经过grounding的谓词TeamPlaySports(Lakers,Basketball)叫做ground predicate，也叫做ground atom，其中所有的变量都已经被常量替换。
• 我们现在有一个更复杂的逻辑：TeamPlaySports(x,y)∧PersonPlayForTeam(p,x)→PersonPlaySports(p,y)。这个比较复杂的逻辑是：如果队伍x做运动y，且人p是队伍x的，那么人p做运动y。这个复杂逻辑叫做formula，中文翻译规则，你现在可以理解为什么TeamPlaySports(x,y)叫做atom formula了吧，因为它是formula的最小组成单位，当然，TeamPlaySports(x,y)单独也可以叫做formula。
• TeamPlaySports(x,y)中的x，y可以分别有自己的domin或者range，也就是定义域，也可以用一个谓词来限制。
• 我们的知识库中存储的往往不是predicate，而是ground predicate。这些ground predicate通常以Tuple，即三元组的形式存在，例如：Lakers TeamPlaySports Basketball。这样的一条也叫做clause。

需要指出的是，我们有了一些formular之后，就可以做一些推理，进而可以做知识图谱纠错的工作。