Lecture 1 - Knowledge | 昊卿的网站

基于知识的智能体

Sentence

通过表示知识的语言进行的某种判定

Propositional Logic 命题逻辑

Propositional Symbols 命题符号

Logical Connectives 逻辑链接符

Not 非

P	非P
false	true
true	false

And 与

P	Q	P 与 Q
false	false	false
false	true	false
true	false	false
true	true	true

Or 或

P	Q	P 或 Q
false	false	false
false	true	true
true	false	true
true	true	true

Implication 条件

P	Q	P 是 Q 的条件
false	false	true
false	true	true
true	false	false
true	true	true

其实跟高中政治讲的逻辑部分一样，这里可以把逻辑关系式翻译为“如果 P，就 Q”

然后跟P 和 Q 各自的真值去建议这个关系式的真值即可

Biconditional 等价

P	Q	P 与 Q 等价
false	false	true
false	true	false
true	false	false
true	true	true

Model

为每一个命题符号分配真值

Knowledge Base 知识库

提供给基于知识的智能体的一系列判断

Entailment 推导

这里是一个逻辑推导关系，而非逻辑联系符

公式 α ⊨ β 表示如果命题 α 为真，则命题 β 也必定为真。

Inference 推断

从旧判断中产生新判断的过程

Model Checking

To determine if KB ⊨ α (in other words, answering the question: “can we conclude that α is true based on our knowledge base”)

Enumerate all possible models.

If in every model where KB is true, α is true as well, then KB entails α (KB ⊨ α).

Knowledge Engineering

这里结合 code 讲了一下基于知识的智能体在一些逻辑游戏中的应用

具体去看官网的 notes 把

Inference Rules

Modus Ponens 肯定前件

And Elemination 合取消去

与命题为真，则任意一个命题均为真

Double Negation Elimination 双重否定

Implication Elimination 蕴含消去

其实大概就是取否命题