人工智能(AI)程序设计:面向对象语言

第1部分基础知识
第1章人工智能概述
1．1人工智能的概念
1．1．1 人工智能
1．1．2为什么要研究人工智能
1．1．3人类智能的计算机模拟
1．2人工智能的研究目标
1．3人工智能研究的基本内容及特点
1．3．1人工智能研究的基本内容
1．3．2人工智能的研究途径与方法
1．3．3人工智能研究的主要特点
1．4人工智能的研究领域
1．4．1 经典的人工智能研究领域
1．4．2基于脑功能模拟的领域划分
1．4．3基于实现技术的领域划分
1．4．4基于应用领域的领域划分
1．4．5基于应用系统的领域划分
1．4．6基于计算机系统结构的领域划分
1．4．7基于实现工具与环境的领域划分
1．5人工智能的基本技术
1．5．1 推理技术
1．5．2搜索技术
1．5．3知识表示与知识库技术
1．5．4 归纳技术
1．5．5 联想技术
1．6人工智能的产生与发展
1．6．1 人工智能学科的产生
1．6．2符号主义学派
1．6．3连接主义学派
1．6．4人工智能的发展趋势
1．6．5 中国人工智能的研究与发展
本章小结
第2章知识表示方法
2．1知识的基本概念
2．1．1知识层次
2．1．2知识的属性
2．1．3知识分类
2．1．4知识表示
2．2一阶谓词逻辑表示法
2．2．1命题与真值
2．2．2论域和谓词
2．2．3谓词公式与量词
2．2．4 i胃词逻辑表示方法
2．2．5谓词逻辑表示方法的BNF描述
2．2．6谓词逻辑表示方法的特点
2．3产生式表示法
2．3．1产生式
2．3．2产生式系统
2．3．3产生式表示法的特点
2．3．4产生式表示法与其他知识表示方法的比较
2．4语义网络表示法
2．4．1语义网络的基本结构
2．4．2语义网络的知识表示
2．4．3语义网络与Prolog
2．4．4语义网络的求解流程
2．4．5基本的语义关系
2．4．6语义网络表示法的特点
2．4．7语义网络法与其他知识表示方法的比较
2．5框架表示法
．2．5．1框架的基本结构
2．5．2框架的BNF描述
2．5．3框架系统中的预定义槽名
2．5．4框架系统的问题求解过程
2．5．5框架系统的程序语言实现
2．5．6框架系统的特点
2．6脚本表示法
2．6．1概念依赖理论
2．6．2脚本的结构
2．6．3脚本的推理
2．6．4脚本表示法的特点
2．7过程表示法
2．7．1表示知识的方法
2．7．2过程表示的问题求解过程
2．7．3过程表示的特点
2．7．4过程性与说明性表示方法的比较
2．8 Petri网表示法
2．8．1 Petri网的基本概念
2．8．2表示知识的方法
2．8．3 Petri网表示法的特点
2．9面向对象表示法
2．9．1面向对象的基本概念
2．9．2面向对象的基本特征
2．9．3 面向对象的知识表示
2．9．4面向对象表示方法的特点
2．10状态空间表示法
2．1 1 问题归约表示法
本章小结
习题2
第3章Al编程基础
3．1 命题逻辑
3．1．1 命题
3．1．2命题定律
3．1．3 范式
3．1．4命题逻辑的推论规则
3．1．5命题逻辑的局限性
3．2一阶谓词逻辑
3．2．1谓词
3．2．2量词
3．2．3 J,胃词逻辑的合式公式
3．2．4 自由变元与约束变元
3．2．5谓词公式的解释
3．2．6含有量词的等价式和蕴含式
3．2．7谓词逻辑中的推论规则
3．2．8 胃词公式的范式与斯柯林标准形
3．3产生式系统
3．3．1 产生式系统的基本组成
3．3．2产生式系统的基本过程
3．3．3基于产生式系统的具体问题建模
3．3．4产生式系统的类型
3．3．5产生式系统的搜索策略
3．3．6两种典型的产生式系统
3．4专家系统
3．4．1专家系统的概念与组成
3．4．2专家系统的类型
3．4．3专家系统的特点
3．4．4专家系统的开发工具
3．4．5新一代专家系统研究
本章小结
习题3
第2部分编程指南
第4章Visual Prolog概述
4．1 Visual Prolog 6概述
4．2 Visual Prolog 6基本特性
4．2．1 语言特性
4．2．2图形化开发环境
4．2．3 编译器
4．2．4链接器
4．2．5调试器
4．3创建项目
4．4建立项目
4．5 浏览项目
4．6开发项目
4．7调试项目
本章小结
习题4
第5章Prolog基础
5．1 Horn子句逻辑
5．2 Prolog推理机
5．3扩展家庭定理
5．4 Prolog是一种编程语言
5．5 程序控制
5．5．1失败
5．5．2 回溯
5．5．3改进家庭定理
5．5．4递归
5．5．5 副效应
5．5．6小结
5．6 Prolog算符
5．6．1 算符
5．6．2深入理解算符
5．6．3算符与谓词
5．6．4算符作为参数
5．6．5算符递归
5．6．6算符使用策略
5．6．7小结
本章小结
习题5
第6章类与对象
6．1 对象模型
6．2类实体
6．3模块
6．4创建和访问对象
6．5接口对象类型
6．6多重实现
6．7包容多态性
6．8 support类型扩展
6．9 object超类型
6．10继承
6．11 对象体系的其他特点
6．12 Visual Prolog 5与Visual Prolog 6的差异
6．12．1句点
6．12．2 谓词
6．12．3谓词论域
6．12．4引用论域
6．12．5 函数子句
6．12．6常量
6．12．7事实
6．12．8事实变量
6．12．9嵌套表达式与函数
6．12．10编译器命令
6．12．11 条件编译
6．12．12输入输出及特殊论域
6．12．13省略与匿名参数类型
6．12．14对象与类
6．12．15库支持
本章小结
习题6
第7章Visual Prolog编程
7．1 Visual Prolog基础
7．1．1 程序结构
7．1．2 目标
7．1．3文件考虑
7．1．4作用域访问
7．1．5 面向对象
7．1．6一个完整的例子：familyl．prj6
7．1．7程序的取舍
7．1．8小结
7．2 Visual Prolog的GUI编程
7．2．1 GUI概述
7．2．2 GUI对事件的响应
7．2．3 开始一个GUI项目
7．2．4创建模态对话框
7．2．5修改菜单
7．2．6修改工具栏
7．2．7在程序中添加主代码
7．2．8压缩相关代码
7．2．9分析所做的工作
7．2．10运行程序
7．2．1 1小结
7．3 Visual Prolog的逻辑层
7．3．1初始准备阶段
7．3．2创建业务逻辑层
7．3．3在业务逻辑层上工作
7．3．4创建业务逻辑类
7．3．5 解业务逻辑类
7．3．6连接业务逻辑层到GUI
7．3．7 解事件处理程序
7．3．8运行代码
7．3．9细节考虑
7．3．10小结
7．4 Visual Prolog的数据层
7．4．1 基本概念
7．4．2程序
7．4．3非模态对话框
7．4．4 FamilyData包
7．4．5接口
7．4．6 FamilyDL包
7．4．7 FamilyDL包的代码
7．4．8 FamilyBLL包的代码
7．4．9数据层的特征
7．4．10小结
本章小结
习题7
第8章编写CGI程序
8．1 概述
8．2编写CGI程序基础
8．2．1 公共网关接口
8．2．2 CGI程序
8．2．3测试CGI程序
8．2．4用Visual Prolog 6创建CGI程序
8．2．5测试example 1
8．2．6应用程序功能分析
8．2．7输入流分析
8．3编写实用的CGI应用程序
8．3．1 将信息从HTML文件传输至CGI程序
8．3．2解释信息流的高级CGI应用程序
8．3．3信息从网络服务器到浏览器的传输
8．3．4 CGI应用程序简评
8．3．5取代CGI程序的候选方案
8．3．6加速CGI应用程序
8．3．7 CGI程序的客户端
8．3．8使用Javascript对象的高级CGI应用程序
8．3．9安全性问题
8．3．10防止CGI程序被盗链
8．3．11小结
8．4 CGI应用程序测试实例
8．4．1 安装TinyWeb网络服务器
8．4．2 TinyWeb的根目录
8．4．3 TinyWeb的端口
8．4．4调试例子程序
8．4．5 用其他网络服务器运行例子程序
本章小结
习题8
第9章编码风格
9．1基本元素
9．1．1 关键字
9．1．2半关键字
9．1．3文字
9．1．4标识符
9．1．5常量
9．1．6变量
9．1．7谓词
9．1．8论域
9．1．9类和接口
9．2推荐格式
9．2．1 折行
9．2．2缩排
9．2．3对齐
9．2．4空格字符
9．3程序结构
9．3．1 段
9．3．2类、接口及实现
9．3．3谓词声明
9．3．4论域
9．3．5子句
9．3．6不确定性循环
9．3．7 Word格式化代码
9．4程序设计语用学
9．4．1 常规技巧
9．4．2布尔值
9．4．3截断
9．4．4 色截断和绿色截断
9．4．5指派输入格式
9．4．6异常和错误处理
9．4．7 内部错误和其他错误
9．5存储管理
9．5．1 存储器
9．5．2运行堆栈
9．5．3尾部调用优化
9．5．4运行栈耗尽
9．5．5全局栈
9．5．6 G-堆栈耗尽
9．5．7堆和垃圾回收
9．5．8垃圾回收
9．5．9 Finalizers
9．5．10数据在什么地方分配
9．5．11 堆中数据
9．5．12多线程和存储
9．6异常处理
9．6．1如何捕获异常
9．6．2如何构造自己的异常
9．6．3如何继续另一个异常
本章小结
习题9
第3部分语言参考
第10章Visual Prolog语言元素
10．1 类型
10．2对象系统
10．2．1 外部视图
10．2．2 内部视图
10．3作用域和可视性
10．3．1 名字分类
10．3．2可视性、隐蔽性及限定性
10．4词法结构
10．4．1 程序单元
10．4．2标记
10．4．3文字
本章小结
习题10
第11章Visual Prolog数据元素
11．1 论域段
11．1．1类型名
11．1．2复合论域
11．1．3列表论域
11．1．4引用论域
11．1．5谓词论域
11．1．6整型论域
11．1．7实型论域
11．2通用类型和根类型
11．2．1通用类型
11．2．2根类型
本章小结
习题ll
第12章Visual Prolog程序元素
12．1 项
12．1．1项的基本概念
12．1．2运算符
12．1．3类成员访问
12．1．4对象成员访问
12．1．5全局实体的访问
12．1．6论域、算符和常量访问
12．2常量
12．2．1常量段
12．2．2常量定义
12．3谓词
12．3．1谓词段
12．3．2构造段
12．3．3接口谓词
12．3．4变元
12．4子句
12．4．1 子句段
12．4．2目标段
12．5 事实
12．5．1 事实段
12．5．2事实声明
12．5．3 事实变量
12．5．4事实
12．6评估
12．6．1 回溯
12．6．2谓词调用
12．6．3 合一
12．6．4引用论域
12．6．5匹配
12．6．6嵌套的函数调用
12．6．7变量与常量
12．6．8算术表达式
12．6．9事实断言与撤销
12．6．10失败谓词和成功谓词
12．6．1 1逻辑与
12．6．12逻辑或
12．6．13逻辑非
12．6．14截断
12．6．15 谓词finally／2
12．7程序段
本章小结
习题12
第13章编译单元
13．1接口
13．1．1接口的基本概念
13．1．2接口与对象
13．1．3开放限定
13．1．4支持限定
13．2类声明
13．3类实现
13．3．1类实现的基本概念
13．3．2继承限定
13．3．3归结限定
13．3．4委托限定
13．3．5 This修饰
13．3．6构造器
13．3．7终结
13．4类型转换
13．4．1 隐式转换
13．4．2显式转换
13．5条件编译
13．6异常处理
13．7预处理程序指令
本章小结
习题13
第14章 内部论域、谓词和常量
14．1 概述
14．2内部常量详解
14．3 内部论域详解
14．4内部谓词详解
本章小结
习题14
第15章与其他编程语言接口
15．1外部代码
15．2关键问题
15．3调用约定和链接名
15．4数据表示
15．4．1举例
15．4．2外部链接库
15．5存储管理
15．5．1典型解决方案
15．5．2垃圾收集和全局堆栈
15．6 Win32 API函数
本章小结
习题15
附录术语表
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
参考文献