人工智能语言-OPS83程序设计与系统PDF电子书下载

目录 12

前言 12

第一部分 OPS83程序设计指南 12

第一章 引言 12

§1.1 基于规则的程序设计 12

§1.2 何时使用规则 14

2.1.2 实型数 15

2.1.1 整型数 15

§2.1 常数 15

第二章 常数和表达式 15

2.1.3 逻辑型数据 16

2.1.4 字符型数据 16

2.1.5 符号 16

§2.2 变量 17

§2.3 表达式 17

2.3.1 算术表达式中的类型 19

§2.4 关系运算符 19

§2.5 逻辑运算符 20

2.4.1 类型与比较运算符 20

2.5.1 短路逻辑表达式 21

§2.6 运算符的求值顺序 21

第三章 可执行语句 24

§3.1 赋值语句 24

§3.2 Cast语句 25

§3.3 Write语句 25

§3.4 Read语句 26

§3.6 复合语句 28

§3.5 If语句 28

§3.7 While语句 29

§3.8 For语句 30

§3.9 Return语句 32

§3.10 注释 33

§3.11 OPS83书写格式目由 34

第四章 输入和输出 36

§4.1 文件格式 36

4.2.1 标准输入输出流 37

§4.2 文件标识 37

§4.3 打开文件（open） 38

§4.4 建立文件（create） 39

§4.5 关闭文件（close） 39

§4.6 格式化输出 40

§4.7 状态函数 41

第五章 模块 42

§5.1 预定义类型 42

§5.2 过程 42

5.2.1 参数 43

§5.3 局部变量 45

5.3.1 对局部变量的限制 46

§5.4 单模块程序 46

§5.5 函数 48

§5.6 全局变量 49

§5.7 简单函数和过程 52

§5.8 递归 52

§5.9 调用其它语言编写的子程序 53

5.9.2 一个C语言的外部过程 54

5.9.1 与其它语言的兼容性 54

5.9.3 一个FORTRAN语言的外部过程 55

5.9.4 向其他语言程序传递符号 55

§5.10 说明的次序 55

5.10.1 前置说明 56

§5.11 分割一个程序为多个文件 57

5.11.1 一个完整的例子 59

§5.12 停止程序执行 61

5.11.2 一些限制 61

第六章 类型 62

§6.1 数组 62

§6.2 类型名说明 64

§6.3 记录 65

§6.4 扩展的记录和数组类型 67

§6.5 导出类型 68

6.5.1 类型的相容性 69

§6.6 Cast语句 70

6.7.1 元素 71

§6.7 其它类型 71

6.7.2 名字 72

§6.8 提取、存贮和比较 72

第七章 工作存贮器 75

§7.1 看待工作存贮器的两种观点 75

§7.2 工作存贮器的高层次观点 76

§7.3 元素说明 77

§7.4 Make语句 78

§7.5 元素的域值说明 79

§7.6 多个项 80

§7.7 缺省值 81

§7.8 Modify语句 82

§7.9 Remove语句 84

§7.10 在同一元素上的多元操作 84

§8.1 规则整体 86

§8.2 规则的右半部分 86

第八章 规则 86

§8.3 规则的左半部分概述 87

§8.4 简单的LHS 88

§8.5 LHS中的变量 89

§8.6 测试域的值 90

§8.7 模式中的一般表达式 92

8.7.1 测试表达式中的域 93

§8.8 模式中的函数调用 95

§8.9 在LHS中使用＠ 96

8.8.1 对子程序调用的限制 96

§8.10 多个项 97

§8.11 多模式 98

§8.12 反模式 99

§8.13 运用compare函数 101

§8.14 LHS的可信度表达式 102

第九章 基于规则的程序举例 104

§9.1 建议 104

§9.2 工作存贮器 104

§9.3 冲突归结策略 105

§9.4 控制机构 106

9.4.1 控制机构的说明 107

§9.5 一个完整的例子 108

9.5.1 规则 108

9.5.2 实用子程序及说明 117

9.5.3 主程序 119

第十章 识别-动作环的实现 122

§10.1 冲突集 122

§10.2 冲突集维护 123

§10.3 检验冲突集的子程序 124

§10.4 编写冲突归结过程 126

§10.5 Fire语句 129

§10.6 识别-动作环的实现 129

§10.7 其他控制策略 131

§10.8 跟踪规则的执行 134

§10.9 部分匹配信息 137

11.1.1 工作存贮器索引 140

§11.1 工作存贮器的数据结构 140

第十一章 工作存贮器的低级访问 140

§11.2 检验工作存贮器 141

§11.3 索引函数 142

§11.4 修改工作存贮器 143

§11.5 如何使用函数 145

§11.6 跟踪执行 145

第十三章 低级输入输出 153

§13.1 Ord和Char函数 153

第十二章 识别-动作环举例 153

§13.2 Peek函数 154

§13.3 Cvsymbol函数 154

13.3.1 警告：符号永远驻留系统中 155

§13.4 Cvinteger函数 155

§13.5 Cvreal函数 156

§13.6 Cvlogical函数 156

§13.7 Name函数 156

§13.8 命令行参数 157

§1.1 背景 161

第一章 引言 161

第二部分 OPS83报告 161

§1.2 符号表示法 162

§1.3 报告的组织 163

第二章 值和类型 164

§2.1 标量和结构值 164

§2.2 类型 164

§2.3 类型的相容性 165

§2.4 标准标量类型 165

§2.5 结构类型 166

§2.6 导出类型 167

§2.7 预定义类型——名字 168

第三章语义 169

§3.1 字符集 169

§3.2 常数 170

3.2.1 整数 170

3.2.2 实数 170

3.2.3 字符常数 171

3.2.4 逻辑常数 172

3.2.5 符号常数 172

§3.3 关键字和标识符 172

§3.4 变量 173

§3.5 操作符 173

§3.6 空白 174

§3.7 注释 174

§4.1 数组 175

第四章 类型说明 175

§4.2 记录 176

§4.3 元素 176

§4.4 导出类型 177

第五章 变量 178

§5.1 全局变量 178

§5.2 局部变量 179

§5.3 形式参数 179

5.3.2 过程和函数中的形式参数 180

5.3.3 规则中的形式参数 180

5.3.1 只读形式参数 180

§5.4 ＠伪变量 181

§5.5 L-值 181

第六章 表达式 183

§6.1 逻辑操作符 183

§6.2 关系操作符 184

§6.3 算术运算符 185

§6.5 函数调用 186

§6.4 常数和L-值 186

§6.6 带括号的子表达式 187

§6.7 优先规则 187

§6.8 表达式的重排序 188

第七章 语句 190

§7.1 赋值语句 190

§7.2 Cast语句 191

§7.3 If语句 191

§7.4 While语句 192

§7.5 For语句 192

§7.6 Return语句 193

§7.7 Call语句 194

§7.8 Fire语句 194

§7.9 输入和输出 194

7.9.1 read语句 194

7.9.2 write语句 196

7.9.3 标准文件 197

§7.10 工作存贮器的修改 197

7.10.1 make语句 197

7.10.2 modify语句 198

7.10.3 remove语句 199

7.10.4 rhs项 199

7.10.5 元素的多重操作 200

§7.11 On语句 201

§7.12 复合语句 201

第八章 规则的左部 202

§8.1 LHS中的变量 202

§8.2 条件元素 203

§8.3 LHS项 203

§8.4 LHS评估表达式 204

第九章 函数、过程和则规 205

§9.1 过程和函数 205

9.1.1 普通过程和函数 205

9.1.2 简单过程和函数 206

9.1.3 外部过程和函数 206

9.1.4 前置过程和函数 207

§9.2 规则 207

§9.5 实际参数与形式参数的对应 208

§9.4 简单的上下文 208

§9.3 子程序体 208

9.5.1 对实际参数的限制 209

§9.6 缺省值 209

第十章 程序和模块 211

§10.1 模块 211

§10.2 模块体 211

§10.3 Use语句 212

§10.5 模块编译的准则 213

§10.4 包含起始地址的模块 213

第十一章 解释器的数据结构 214

§11.1 工作存贮器 214

§11.2 冲突集 215

第十二章 标准子程序 216

§12.1 检查工作存贮器 216

12.1.1 wsize函数 216

12.1.2 wtype函数 216

12.1.3 wremove函数 216

12.1.4 index函数 217

12.1.5 make函数 217

12.1.6 wput函数 217

§12.2 检查冲突集 218

12.2.1 cssize函数 218

12.2.2 irule函数 218

12.2.3 instance函数 218

§12.3 检查规则的部分匹配 219

12.3.1 cmatches函数 219

12.2.4 iindex函数 219

12.3.2 pmatches函数 220

§12.4 跟踪工作存贮器变化的函数 220

12.4.1 wmctype函数 220

12.4.2 wmcadd函数 221

12.4.3 wmcact函数 221

§12.5 文件操作函数 221

12.5.1 open函数 221

12.5.2 create函数 221

12.5.5 peek函数 222

12.5.3 close函数 222

12.5.4 status函数 222

§12.6 符号操作函数 223

12.6.1 name函数 223

12.6.2 cvsymbol函数 223

12.6.3 cvlogical函数 224

12.6.4 cvinteger函数 224

12.6.5 cvreal函数 224

§12.8 结构型值的操作函数 225

12.7.2 char函数 225

§12.7 字符转换函数 225

12.7.1 ord函数 225

12.8.1 extract函数 226

12.8.2 wextract函数 226

12.8.3 store函数 227

12.8.4 wstore函数 227

12.8.5 compare函数 227

12.8.6 wcompare函数 228

§12.9 命令行的自变量 229

12.9.1 argcnt函数 229

12.9.2 argument函数 229

§12.10 退出主程序 229

12.10.1 exit过程 229

附录A BNF范式中英文对照 231

附录B 英汉名词术语对照表（附索引） 247

附录C OPS83编译错误信息表 254

参考文献 267