1. What is minimax algorithm and how does it work? In compared to previous uninformed search and heuristics search
2. What are new features of the minimax search?
3. What is α-β pruning?
4. What are logic, syntax, and semantics?
5. Given tables of first-order logic, can solve practical problems.
6. What are entailment and inference? What are difference between them?
7. Given a propositional logic sentence, can judge true or false.