基于知识的智能体
Sentence
通过表示知识的语言进行的某种判定
Propositional Logic 命题逻辑
Propositional Symbols 命题符号
Logical Connectives 逻辑链接符![[../../../source/image 1 2.png]]
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 蕴含消去
其实大概就是取否命题
Biconditional Elimination 等价消除
De Morgan‘s Law 德摩根律
Distributive Property 分配律
