1命题逻辑语法与语义
闭卷重建命题逻辑语法与语义的对象、公式、算例、算法与失败边界。
人工智能基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2等价、蕴含与可满足性
闭卷重建等价、蕴含与可满足性的对象、公式、算例、算法与失败边界。
3CNF变换
闭卷重建CNF变换的对象、公式、算例、算法与失败边界。
4归结推理
闭卷重建归结推理的对象、公式、算例、算法与失败边界。
5Horn子句与前向链
闭卷重建Horn子句与前向链的对象、公式、算例、算法与失败边界。
6DPLL与SAT搜索
闭卷重建DPLL与SAT搜索的对象、公式、算例、算法与失败边界。
7知识库测试与解释
闭卷重建知识库测试与解释的对象、公式、算例、算法与失败边界。
第 1 页 · 背面（答案）
对象：等价要求模型集合相同；蕴含要求KB的每个模型也是结论模型。；公式：KB⊨α iff Models(KB)⊆Models(α)。；算例：KB=P∧Q蕴含P，但P不蕴含Q。；边界：看到同时为真的一个赋值就声称蕴含。。
对象：命题公式的语法树和真值赋值分离；模型是使公式为真的赋值。；公式：M⊨(P→Q) iff ¬P∨Q。；算例：P真Q假时P→Q为假；其余三种赋值为真。；边界：把蕴含当因果；运算优先级解析错误。。
对象：两个含互补文字的子句可消去该文字合并余项；反证得到空子句即矛盾。；公式：(A∨P),(B∨¬P)⇒A∨B。；算例：(P∨Q)与(¬P∨R)归结得Q∨R。；边界：同号文字也归结；生成空子句后丢失证明链。。
对象：CNF是子句合取；消蕴含、推否定、分配或Tseitin变换要保持所需性质。；公式：P→Q≡¬P∨Q。；算例：¬(P∧Q)≡¬P∨¬Q，本身是一条二文字子句。；边界：错误使用德摩根；Tseitin只等可满足却声称逻辑等价。。
对象：DPLL用单子句传播、纯文字和分支搜索判CNF可满足。；公式：F|_{x=True}化简后递归。；算例：(P)∧(¬P∨Q)先由单子句得P，再推出Q，公式可满足。；边界：空子句与空公式混淆；回溯未撤销赋值。。
对象：Horn规则至多一个正文字，可用事实驱动线性式前向链求最小模型。；公式：A∧B→C。；算例：事实A,B和规则A∧B→C推出C；缺B则不能推出。；边界：闭世界假设未经声明；同一事实重复入队。。
对象：逻辑系统应同时给结论、使用前提、证明链和反例模型。；公式：sound: KB⊢α ⇒ KB⊨α。；算例：若系统从空KB推出任意P，可构造P假模型证明不可靠。；边界：只测可推出结论；把未知当假。。