目 录 1
丛书总序 1
序 言 1
第1章 什么是人工智能 1
第2章 探试法 28
第3章 定理证明 38
第4章 定理证明的消解法 52
第5章 树搜索和国际象棋 73
第6章 其他博弈 94
第7章 模式识别 108
第8章 景物分析 129
第9章 自然语言的使用 146
第10章人工智能的两个重要应用领域 164
第11章美学 176
第12章计算机的竞争者——真实神经元 192
第13章人工智能领域已取得的成就 217
第14章人工智能与自然智能间的差异 234
第15章人工智能的未来 246
人名索引 256
主题索引 261