参考教材：https://people.cs.kuleuven.be/~danny.deschreye/FAI/
在FAI的introduction课中，有一个很基本的目标是：实现一个可以通过图灵测试的chatbox。
主要知识点涉及：
1.搜索算法：包括basic search（blind，heuristic），advanced search(比如A*算法等)；
2.games：比如max-min, alpha-beta算法，可以应用在alphaGo之类的棋类对战中；
3.constraint programming；backtrack，hybrid，还有比如version space算法，华尔兹，数独是一个constraint programming的简单例子；
4.automated reasoning 和palnning：reasoning，还有证伪等，可以应用在构建智能体的逻辑系统。