### 인공지능 (Artificial Intelligence)

- 강의실: 공학 3관 xxx호
- Textbooks
- Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach (Third edition), Prentice Hall, 2010 [book]

- Textbooks (additional)
- I. Goodfellow, Y. Bengio, A. Courville, Deep learning, MIT Press, 2016 [book]
- Richard S. Sutton and Andrew G. Barto, Reinforcement Learning: An Introduction, MIT Press, 1998 [link] [2nd_edition]
- D. Koller and N. Friedman, Probabilistic Graphical Models: Principles and Techniques, MIT Press, 2009 [book]

- References
- TensorFlow [link]
- AI lecture at Brown Univ.
- AI lecture at Berkeley Univ. [link]
- AIML lecture at Princeton Univ. [link]

- Lecture 1: Introduction [pdf]
- [Lecture at Brown U] Introduction [pdf]
- [Russell] Introduction [pdf]

- Lecture 2: Rational agents [pdf]
- Lecture 3: Problem solving by search [pdf]
- [lecture at Brown U] [pdf]
- [Russell] Problem solving and search [pdf]
- [Russell] Problem solving and search [pdf]

- Lecture 4: Informed search [pdf]
- Beyond classical search [pdf]
- A* Parsing (by D. Klein and C. Manning) [pdf]
- [Lecture at Brown U]: Informed search [pdf]
- [Russell] Informed search [pdf], Local search [pdf]

- Lecture 5: Constraint satisfaction problems [pdf] [pdf]
- [Sandholm] Constraint satisfaction problems [pdf]
- [Russell] Constraint satisfaction problems [pdf]

- Lecture 6: Adversarial search [pdf]
- [Lecture at Brown U] Adversarial search [pdf]
- [Russell] Game playing [pdf], AlphaGo [pdf], MoGo [pdf]

- Lecture 7: Propositional logic [pdf]
- [Lecture at Brown U] [pdf]
- [Russell] Logical agent [pdf]

- Lecture 8: Satisfiability and model construction [pdf]
- Lecture 9: Predicate logic [pdf]
- [Lecture at Brown U] [pdf]
- [Russell] First order logic [pdf]