1. Minimax
2. CSP
3. search（A-star，DFS，BFS）
4. STRIPS
5. Kowalsky formulation
   1. graph plan
6. explanation of several concepts

关键点：

1. 写出alpha- value-beta，找到cutoff的分支。只传播当前使用的参数。α 和 β 的值只从父节点传给子节点，或者在节点内部更新，永远不会从子节点反向传给父节点（父节点只接收 value v）.
2. 先依次选中边界条件，对于每个边界条件依次检查每个变量的满足情况，缩小solution范围。所有的边界条件过一遍为一个循环，直到某个循环中没有任何冲突出现。
3. 路径cost是g，到目标估计的cost是h‘
4. 画出图，找有threat的causal links，ordering/white knight
5. Kowalsky formulation
   1. initial state：多个 holds(初始状态)
   2. effect：多个 holds(添加的状态，要建模的action, S)
   3. precondition：pact(要建模的action, S):- 多个holds(precondition, S)
   4. frame axioms: pact(V, do(要建模的action), S):- holds(V, S), 多个 V\= 被删掉的preconditions
6. graph plan
   1. 列出所有初始状态在第一列
   2. 画出可以执行的操作和noop在第二列
   3. 画出执行的结果在第三列。新加的状态用实线箭头，删除的状态用虚线箭头。
   4. 找出第一列中interference/incompatible的初始状态，是在哪几个第二列的action导致的。写出矛盾的action pair
   5. 找出第三列中inconsistent的状态，是由于哪几个第二列的action导致的。写出矛盾的结果状态pair。
7. 解释要解释的concepts