人工智能与LISP程序设计PDF电子书下载

目录 1

第一章 LISP程序设计 1

§1 符号处理 2

§2 LISP程序设计 17

第二章 处理二值图象 40

第三章 定理证明 54

第四章 积木世界 61

§1 计划移动的序列 65

§2 提供解释 86

§3 由数据驱动程序 93

第五章 游戏世界 100

§1 游戏树和极小极大化 100

§2 α-β剪枝技术 102

§3 LISP实现 109

第六章 符号模式匹配 139

§1 基本的模式匹配 140

§2 游艺程序“博士”DOCTOR 161

§3 解题程序“学生”STUDENT 167

第七章 若干系统的LISP实现 177

§1 LISP编译增广转换网络 177

§2 LISP解释生成系统 218

§3 LISP解释LISP 247

第八章 专家系统 259

第九章 数据库及其守护神DEMONS 281

§1 增删和检索 281

§2 守护神DEMONS 296