先写出框架,后面迭代补充 达特茅斯会议 人工智能的缘起 自动定理证明兴衰纪 从专家系统到知识图谱 第五代计算机的教训 神经网络简史 计算机下棋简史 自然语言处理 向自然学习:从遗传算法到强化学习 哲学家和人工智能 人工智能的计算理论基础 智能的进化