1一阶逻辑对象、谓词与量词
闭卷重建一阶逻辑对象、谓词与量词的对象、公式、算例、算法与失败边界。
人工智能基础 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2量词次序与变量作用域
闭卷重建量词次序与变量作用域的对象、公式、算例、算法与失败边界。
3项替换与合一
闭卷重建项替换与合一的对象、公式、算例、算法与失败边界。
4一阶前向链
闭卷重建一阶前向链的对象、公式、算例、算法与失败边界。
5后向链与目标驱动
闭卷重建后向链与目标驱动的对象、公式、算例、算法与失败边界。
6一阶归结与Skolem化
闭卷重建一阶归结与Skolem化的对象、公式、算例、算法与失败边界。
7本体、开放世界与知识工程
闭卷重建本体、开放世界与知识工程的对象、公式、算例、算法与失败边界。