知识表示与推理
引入
词汇
| English | 释义 | 拼音 |
|---|---|---|
| propositional logic | 命题逻辑 | mìng tí luó jí |
| inference/ˈɪnfərəns/ | 推理 | tuī lǐ |
| forward chaining | 正向链 | zhèng xiàng liàn |
| backward chaining | 反向链 | fǎn xiàng liàn |
规则与结论
- 命题逻辑 propositional logic：事实加规则（$P \to Q$）；推理 inference 施行肯定前件。正向链 forward chaining 从事实漫开；反向链 backward chaining 从目标反推——符号推理 symbolic reasoning 推出数据没见过结论。
{exercise:uni-cs1302-rules}
练习
正向链从——出发。
难度 1/5 · 今日首次完成可获 100 金币及少量额外奖励
从已知漫开；反向链从目标反推。
课程知识库实跑
- F1 Storm；F2 Weekend；R1 Storm → Delayed；R2 Weekend → HeavyTraffic；R3 HeavyTraffic → Delayed；R4 Delayed → RefundRisk。正向链：第一波推出 Delayed 与 HeavyTraffic，第二波 RefundRisk。
- RefundRisk 的反向链：目标 ← Delayed（R4）← Storm（R1）← 事实：三步证明，R2/R3 从未点火——面向目标的搜索。
{exercise:uni-cs1302-kb}
练习
课程知识库用——波推出 RefundRisk。
难度 1/5 · 今日首次完成可获 100 金币及少量额外奖励
第一波 Delayed、HeavyTraffic；第二波 RefundRisk。
构造即可靠
- 每步都是对假设规则的肯定前件，推导造不出假话；完备性（每个结论可达）才是难的那半。
- 反证法证 $Q$：假设 $\neg Q$，归结出空子句——SAT 求解器的机理。把 $P \to Q$ 读成 $Q \to P$ 是经典陷阱。
{exercise:uni-cs1302-sound}
练习
肯定前件让推理——
难度 1/5 · 今日首次完成可获 100 金币及少量额外奖励
每步都是对假设规则的有效蕴涵——造不出假话。