《人工智能语言-OPS83程序设计与系统》求取 ⇩

目录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 简单的LHS88

§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