Search

广度、深度、一致代价、贪婪、A*搜索

Game Tree

Minimax,机会节点、剪枝(理解其背后的思想, why 可以这样剪枝)

Logic

给定一组命题词,在它们构成的所有世界(模型)中,有多少使给定表达式为真?

把句子转换成合取范式CNF的步骤流程