第1章 人口智能与离散生产控制的术语 1
1.1 智能 1
1.1.1 面向问题的理解 1
1.1.2 智能:典型的定义 2
1.1.3 建议的定义 3
1.2 智能操作 3
1.2.1 描述的需要 3
1.2.2 举例 3
1.2.3 智能操作的不同水平 4
1.2.4 一种描述方案 6
1.3 一个AI生产系统的例子 7
1.3.1 问题的描述与形式 7
1.3.2 辅助产生式系统 8
1.3.3 概念与术语 11
1.4 AI专家系统 13
1.4.1 问题的陈述:一个实例 13
1.4.2 专家系统:MYCIN-TEIRESIAS 13
1.4.3 概念、术语及设计者的问题 16
1.5 流行的术语 17
1.5.1 术语分类的方法学 17
1.5.2 产生式系统及专家系统的应用 18
1.5.3 其它表达式的应用 19
1.6 生产控制问题的理解 20
1.6.1 人工智能技术及知识表示 21
1.6.2 专家系统及知识工程 21
1.6.3 单元层的生产控制 22
1.6.4 车间层举例——FMS 24
1.6.5 工厂层 26
1.6.6 企业层 30
第2章 人工智能系统的综合 34
2.1 综合所需要的步骤 34
2.1.1 系统工程的一般步骤 34
2.1.2 对人工智能系统进行综合的步骤 34
2.2 建模及多面向建模 36
2.2.1 建模作为一种活动的概念 36
2.2.2 建模在连续控制系统中的作用 36
2.2.3 离散活动控制的建模 38
2.2.4 解决离散活动问题的人工智能系统(AIS)建模 39
2.3 AIS的理解及描述 39
2.3.1 构造基本过程的活动A 39
2.3.2 问题Pb(A)的描述 43
2.3.3 AIS期望目标的描述 44
2.3.4 阐明期望的AIS目标的方法 46
2.4 AIS说明 47
2.4.1 工业实例 47
2.4.2 AIS形式化说明的建模工具 48
2.4.3 辅助决策的各个层次 51
2.4.4 AIS元素的描述方法 53
2.5 AIS解析 54
2.5.1 引言 54
2.5.2 解析问题的形式化 54
2.5.3 解析条件的分析 55
2.5.4 现有解析方法的分析 57
2.5.5 推导一种合适的解析方法的方法学 67
2.6 AIS的实现 67
2.6.1 引言 67
2.6.2 AIS与该系统有关人员之间的关系 68
2.6.3 折衷和协调问题 70
2.6.4 双向前置战略BIDAS 71
2.6.5 实现方法 73
第3章 人工智能系统的分析 74
3.1 引言 74
3.1.1 一个系统的三项主要特征 74
3.1.2 分析工具的作用与应用 77
3.1.3 AIS设计者的问题 78
3.2 分析活动结构的工具 79
3.2.1 GRAI网及图形工具 79
3.2.2 GRAI网的基本元素和基本配置 81
3.2.3 GRAI网:有组织活动的建模及其控制的规则 87
3.2.4 GRAI网在规划中的应用 95
3.2.5 GRAI网应用举例 99
3.3 信息分析 100
3.3.1 信息分析的必要性 100
3.3.2 信息建模工具 100
3.3.3 基于超图的数据结构(HBDS)建模工具 104
3.3.4 更好地理解信息的特点 109
3.3.5 静态和动态数据以及数据转换 114
3.3.6 HBDS数学基础 118
3.4 知识分析 120
3.4.1 知识的类型 121
3.4.2 在AIS中计算问题的提法 124
3.4.3 一阶谓词逻辑的元素 128
3.4.4 有关计算方法的建议 132
第4章 人工智能系统在工业生产系统中的应用 142
4.1 引言 142
4.1.1 生产路径和生产活动 142
4.1.2 AIS的活动和环境 144
4.1.3 集成化的AIS 146
4.2 执行活动的AIS 149
4.2.1 引言:可能的改进 149
4.2.2 各种类型的制造执行活动 150
4.2.3 数字控制、自适应控制和机器人 152
4.3 AIS对加工性能的改进 155
4.4 AlS对加工柔性的改进 156
4.4.1 FMS:机器、自动化和AIS 156
4.4.2 FMS物理部件的设计方法 157
4.4.3 设计AIS仿真器的方法 162
4.5 针对设计活动的AIS 166
4.5.1 引言 166
4.5.2 设计活动的分析 167
4.5.3 设计活动的问题分析 170
4.5.4 期望的AIS环境ENV(AIS)分析 171
4.5.5 组成集成化设计的AIS的元素 171
4.6 引导活动的AIS 174
4.6.1 活动A和活动问题Pb(A)的分析 174
4.6.2 期望的AIS环境ENV(AIS)分析 175
4.6.3 分析复杂生产结构的方法 178
4.6.4 AIS设计方法 179
第5章 集成化离散生产控制理论的透视 181
5.1 问题理解的方法 181
5.1.1 集成化离散生产控制建模的问题含义 181
5.1.2 CIMS设计的现实 182
5.1.3 DSS设计的现实 183
5.2 集成化概念参考模型(INCOREMO) 185
5.2.1 一般原则 185
5.2.2 宏INCOREMO 186
5.2.3 问题的理解 190
5.2.4 问题形式化的方法 192
5.2.5 设计方法学的应用举例 196
5.3 问题形式化及解决的方法 201
5.3.1 战略 202
5.3.2 简单和复杂实体的特征 204
5.3.3 简单和复杂实体的赋值及其特征转换 205
5.3.4 形式化描述和过程 208
5.3.5 战略构造 212
5.3.6 问题形式化的方法 212
5.4 结论 214
参考文献 215