《人工智能辞典》PDF下载

  • 购买积分:11 如何计算积分?
  • 作  者:中国软件行业协会人工智能协会编
  • 出 版 社:北京:人民邮电出版社
  • 出版年份:1992
  • ISBN:7115046255
  • 页数:284 页
图书介绍:本书收编了人工智能原理、推理技术、专业系统、机器人学、人工神经网络、思维科学、智能计算机、人工智能应用等方面的词条约1600条。各条词目均有中文解释。

中文词条索引Aan按时序回溯 1

Bba八皇后问题 1

八数码难题 1

bang棒球系统 1

bei被包含子句 2

报文传送系统 2

报文 2

保证法 2

包孕 2

包交换 2

包含法 2

包含 2

bao包 2

贝斯定理 3

贝斯分类器 3

贝斯逻辑 3

贝斯推理网 3

边缘和曲线连接 4

bian边缘和曲线跟踪 4

边缘检测 4

避免法 4

bi鼻音 4

闭世界假定 4

边缘匹配和拟合 5

变量化 5

变元 5

便携式标准LISP 5

biao标号表达式 5

标记传送系统 5

表处理语言 5

表记法 6

表结构 6

并行计算机 7

并行机 7

并行传输 7

并行人工智能系统 7

并行算法 7

bing并发操作 7

并行传送 7

并行处理 7

并发性 7

并发的 7

并发处理 7

博弈树 8

博弈 8

博耶-穆尔定理证明系统 8

bo博尔茨曼机 8

并行推理机 8

并行性 8

博弈树搜索 9

博弈图 9

bu部分匹配 9

部分全局规划 9

不精确推理 10

不可撤控制策略 10

不可解标记过程 10

不可解节点 10

不可靠数据或知识 10

不确定性 11

不确定知识 11

不确定性推理 11

不确定程序 11

不确定算法 11

不确定处理 11

不相容的 12

不相容度量 12

不一致集合 12

Ccai采纳建议 12

can参量分类 12

cao槽 13

参数学习 13

参量分类法和非参量分类法 13

参量分类器 13

参数 13

差别缩小法 14

差异模型 14

差错法 14

查找图 14

cha差别度量 14

ce测验集 14

槽值 14

槽名 14

chan产生式 15

产生式规则 15

产生式规则的先决条件 15

产生式规则合成 15

产生式系统 16

产生式系统的综合数据库 16

chang常识性推理 16

chao超大规模集成电路 16

chi持续性 17

程序函数 17

chen陈述知识 17

超组合子 17

cheng程式 17

尺寸变化 18

chong冲突判决 18

重写规则 18

重写证明法 18

重新规划 18

重言式 18

重言式规则 18

初始问题 19

传授学习 19

传感器 19

chuan传递性 19

chou抽象个体 19

出处角色 19

chu出处格 19

抽象机 19

词素 20

词划分 20

ci词分割 20

chun纯句节规则 20

串文法和高维文法 20

串归约计算机 20

纯文字规则 20

cong从例子学习 21

cun存储转发交换 21

存在量词 21

存在量词化变元 21

Dda大粒度并行计算机 22

dai代价 22

大粒度系统 22

错误规则 22

错误识别率 22

cuo错分概率 22

dan单调推理 23

单调限制 23

单基本式规则 23

单元因子子句 24

单知识源 24

单元规则 24

倒置规则 24

dao岛网络 24

单元 24

单线推理 24

单文字规则 24

单句节规则 24

单元归结 24

di笛卡儿坐标轨迹生成 25

笛卡儿坐标运动 25

地点格 25

地点角色 25

第五代计算机 25

定理证明 26

定义函数 26

定向匹配 26

定位器 26

调度程序 26

定比例变换 26

ding顶端节点 26

diao调度 26

dian电荷耦合器件摄像机 26

dong动词组角色 27

动态规则 27

动态联编 27

动作体计算机 28

动作对象角色 28

动作对象格 28

动作表 28

动态图像分析 28

动画 28

duan端节点 29

短语标记 29

短语结构 29

短语结构规则 29

断点 30

dui对策 30

对话管理 30

对象 30

对象中心表示法 30

多模通信 31

多语种翻译 31

多音道信息处理 31

多态性 31

对准 31

多结点规划 31

多重知识源 31

duo多重推理 31

Eer二阶逻辑 32

二阶谓词演算 32

发现系统 33

发音 33

Ffa发现 33

发展图 33

二元消解式 33

二元预解式 33

二元归结式 33

二值图像 33

反例 34

反向产生式系统 34

反射 34

反向搜索 34

反驳树 34

反驳过程 34

fan反驳 34

反向推理 35

反向推理链接 35

反向演绎系统 35

反演过程 35

反演树 35

反应时间 35

反应式学习环境 35

泛函自变量 35

范围推理 35

仿真网络 36

仿真进化 36

fang方法 36

方法库 36

fei非参量分类 37

非参量分类器 37

非单调逻辑 37

非单调推理 37

非归结定理证明 37

非时序回溯 38

非特定人语音识别 38

非线性判别 38

非均匀量化 38

非均匀采样 38

非演绎问题求解方法 39

非终节点 39

fen分辨率 39

分布式焦点策略 39

分布式人工智能系统 39

分布式问题求解系统 39

分布式知识库系统 39

分布式知识源系统 39

分段线性分类器 40

分段多项式 40

分段 40

分层字典 40

分布式智能系统 40

分布式智能 40

分层规划 40

分段线性机 41

分段线性判别函数 41

分割 41

分解法 41

分类层次 41

分类规则 41

分支系数 42

分支界限法 42

分类器 42

分析网络 42

分析树 42

分支界限搜索 43

分支与界限 43

分治法 43

辅助主动者格 44

符号推理 44

符号处理语言 44

符号表达式 44

fou否定 44

封闭语义树 44

feng封闭默认 44

fu符号 44

辅助主动者角色 45

覆盖法 45

覆盖模型 45

复合概念学习 45

复合元音 45

副作用 45

Ggai改变搜索空间 45

概率推理 46

概念从属理论 46

概率传播 46

概率松驰法 46

概念聚类 47

概念描述 47

概念树 48

概念相关 48

概念学习 48

gan感觉表象 48

感受器 48

感知 48

高阶谓词演算 49

高阶逻辑 49

高维文法 49

gao高级人工智能语言 49

感知器 49

高级语言计算机 49

gong工具 50

工具建造者 50

工具格 50

工具方式 50

工具角色 50

gen跟踪设施 50

个人顺序推理机 50

格文法 50

ge格 50

工业机器人 51

工作站 51

功能 51

功能精确协作系统 51

公因子化知识结构 51

共振峰 51

gou构造性归纳 51

骨架系统 52

骨架 52

估价函数 52

孤立字识别 52

gu孤岛驱动 52

构造性规则 52

孤立数字识别 52

关节方式 53

观察学习 53

关节驱动器 53

关节空间 53

关联表 53

关节 53

关键字定位 53

guan关闭节点 53

骨架型知识工程语言 53

管理数据结构的系统结构 54

guang光流 54

光栅显示 54

光学编码器 54

广义化 54

广义化规则 54

广义爬树规则 55

gui规格化设备坐标 55

规划 55

规则 56

规划系统 56

规则编辑器 56

规划岛 56

规划生成 56

规划库 56

规划失败 56

归结反驳 57

归结证明图 57

归结证明树 57

归结原理 57

归结反驳图 57

归结式 57

归结法 57

归结定理证明 57

归结 57

规则连接图 57

规则集 57

归类 58

归纳法 58

归纳推理 58

归纳学习 58

归纳制导的决策规则 58

归约计算机 58

guo过程表示 59

过程化 59

轨迹修改速率 59

过程知识 59

轨道格 59

轨迹生成 59

轨迹 59

轨道角色 59

过程知识表示 60

Hhai海尔勃朗全域 60

海尔勃朗定理 60

han函词 60

函数 60

函数型语言 60

函子 61

汉语词汇的自动划分 61

汉语语音信息处理 61

汉语自然语言理解 61

合取广义化描述 62

合取范式 62

合取 62

he合并 62

hao耗费值 62

汉字识别 62

合式公式 62

合一集 63

黑板结构 63

hei黑板 63

黑板方法 63

合一复合 63

合一 63

合同网络 63

黑板系统 64

hong宏LISP 64

宏算子 64

hou猴子与香蕉问题 64

huan环境法 65

画面问题 65

hua画面文法 65

候选解图 65

候选返上值 65

后裔节点 65

后项 65

后继节点 65

候选倒推值 65

回溯控制策略 66

huo活动结构网络 66

混淆 66

hun混合启动型教学系统 66

回溯点 66

回溯 66

回答语句 66

hui灰度图像 66

霍恩子句 67

霍恩子句定理证明程序 67

“或”节点 67

Jji基本动作 67

基本规划生成系统 68

基本函数 68

基于笛卡儿坐标的控制 69

基本式节点 69

基于关节的控制 69

基于规则的程序 69

基本式 69

基本例子 69

基本式常量 69

基于解释的学习 70

基于逻辑的语言 70

基于逻辑的方法 70

基于框架的语言 70

基于框架法 70

基于记忆的推理 70

基于规则的演绎系统 70

基于规则的系统 70

基于规则的方法 70

基于学员的教练 71

基于知识的计算机辅助教学 71

基于知识的专家系统 71

基于专家的教练 71

基元 71

基子句 71

积木世界 71

机器人程序设计语言 72

机器人问题求解 72

机器翻译 72

机器人 72

机器认识 73

机器认知 73

机器学习 73

机器智能 74

机械翻译 74

机械式学习 74

即兴法 74

极小极大策略 75

极小极大搜索 75

极小极大搜索算法 75

几何图形模拟 76

几何图形类推 76

极小极大系统 76

极小极大原则 76

计算机动画 77

计算机辅助测试 77

计算机辅助制造 77

计算机辅助教学管理 77

计算机辅助电路分析 78

计算机辅助工程 78

计算机辅助工艺过程设计 78

计算机辅助设计 78

计算机图形学 79

计算机体系结构 79

计算机下棋 79

计算机辅助诊断 79

计算机管理教学 79

继承 80

技能求精 80

jia假命题 80

假设世界 80

假设推理 80

假设状态法 80

剪裁 81

建立专家系统 81

jian监督学习 81

监控 81

假言推理 81

jiang降低条件规则 82

将来环境格 82

将来环境角色 82

j1ao交互式计算机图形学 82

脚本 82

结构化对象 83

结构分析 83

jie节点扩展 83

教学专家系统 83

教导策略模块 83

教育专家系统 83

结合表 84

解释设施 84

解释 84

解路 84

解释器 84

结果共享 84

结构模式识别法 84

结构模式识别 84

结构描述 84

结构化对象表示法 84

解图 85

介词组格 85

介词组角色 85

jin进化 85

jing精炼启发式搜索 86

景物分析 86

井字棋 86

竞争解法 86

巨量并行性系统结构 87

聚类 87

拒识率 87

jue决策树 87

决策树分类器 87

决策支持系统 87

矩 87

句节节点 87

句节常量 87

句节 87

ju局部知识 87

拒绝率 87

开发策略 88

可采纳性 88

颗粒误差 88

ke颗粒度 88

Kkai开窗口 88

jun均匀量化 88

角色文法 88

角色 88

可分解的产生式系统 89

可交换的产生式系统 89

可解标记过程 89

可解节点 89

课目与示例法 90

课目识别器 90

课目评价器 90

课目 90

课程信息网络 90

课程网 90

可信度 90

可示教产生式系统 90

可满足性 90

可训练的模式分类器 90

客体空间 91

kong空置换 91

空子句 91

控制策略 91

宽度优先和深度优先搜索 92

宽度优先搜索 92

kuan宽度优先过程 92

kuang框架 93

框架表示语言 93

框架文法 93

框架问题 93

框桨原理 93

kuo扩展节点 94

扩展转移网络 94

扩展转移网络分析 94

类别概率 95

类比智能 95

类比智能测试 95

Lle乐观悲观正向修剪 95

lei类 95

类推推理 96

类推问题求解 96

类推学习 96

类推智能 97

类推智能测试 97

类型 97

力控制 98

lian连接数字识别 98

立体视觉 98

粒度 98

li理论驱动学习法 98

力传感器 98

里程碑状态 98

理论证伪 98

量词化理论 99

liang量词 99

量词无关的合取范式 99

lin临界节点 99

连续语音识别 99

连接图 99

连音规则 99

ling灵感思维 100

灵活工具 100

零目函词 100

零目谓词 100

零位谓词 100

领域知识 100

领域专家 100

iun轮廓 101

luo逻辑结果 101

轮廓抽取 101

lü滤波器 101

路径选择控制 101

lu路径选择 101

逻辑输入设备 102

逻辑思维 102

逻辑推理步/秒 102

Mmao锚式扫描测试 102

meng蒙太奇文法 102

面向逻辑的系统结构 103

面向函数的系统结构 103

面向函数程序设计的系统结构 103

面向过程的语言 103

面向过程的方法 103

面向对象的数据库系统 103

面向对象的方法 103

mian面向表的系统结构 103

面向对象的语言 103

面向迁移的状态表示法 104

面向问题的语言 104

面向语法的识别算法 104

面向知识的系统结构 104

miao描述符 105

ming名词组格 105

命题逻辑 105

命题势态 105

命题树 105

命题演算 105

模糊集[合] 106

模糊归结 106

模糊集合论 106

名词组角色 106

模糊关系 106

mo摩擦音 106

命题字母 106

模拟表示 107

模糊子集 107

模式分类 107

模糊控制系统 107

模糊算法 107

模糊控制 107

模糊推理 107

模式分类程序 108

模式分类器 108

模式描述 108

模式描述语言 108

模式识别 109

模式识别决策论法 109

模式识别鉴别法 109

模式匹配技术 109

模式匹配 109

模式识别判定论法 110

模式元 110

模式指导调用 110

模型 110

目标回归 111

目标合式公式 111

mu目标函数 111

默认推理 111

默认知识 111

末端执行器 111

模型驱动法 111

模型库 111

模型表示 111

模型指导推理 111

目标树 112

目标栈 112

目标树修剪 112

目标指导的功能调用 112

目标事物 112

目标驱动 112

目标集合 112

目标指导推理 113

目标子句 113

目的地格 113

目的地角色 113

目录关系 113

Nnao脑科学 113

nei内部谓词 114

内部知识 114

内部知识库 114

neng能量相关参数 114

Oou欧几里得距离 115

nong浓淡 115

Ppa爬山法 115

ni逆向搜索 115

逆向演绎推理 115

逆向推理链接 115

爬山过程 116

pai排除法 116

排除混淆 116

排序策略 116

pan判别 116

判别函数 116

判定树 117

判别网络 117

判定树分类器 118

pi匹配 118

匹配算法 118

ping评价函数 118

平行投影 118

平移变换 118

po破裂音 118

启发方法 119

期望驱动的推理 119

期望驱动的学习 119

Qqi期望解树 119

期望驱动的通信 119

启发函数 120

启发式程序 120

启发式程序设计工程室 120

启发式法 120

启发式规则 121

启发式技术 121

启发式搜索法 121

启发式搜索算法的可采纳性 121

qian前环境格 122

前束范式 122

前环境角色 122

启发式问题求解 122

启发式知识 122

启发式问题求解学习 122

前束合取范式 123

前束析取范式 123

前束形 123

qiang强类型语言 123

qiong穷举搜索 124

qiu求值模式 124

qie切割 124

qu区别 125

区别网络 125

区域分割 125

区域合并 125

区域聚集 125

区域描述 125

区域生长 125

趋势探测器 125

全称泛化 126

全称量词化变元 126

全称量词 126

quan全称闭包 126

取消法 126

曲线和亮点检测 126

全称消去 127

全集 127

全局数据库 127

全局知识 127

权向量 127

que缺省逻辑 127

人工智能 128

人工认知 128

人工认识 128

人工感知器 128

Rren人的模拟 128

qun群集 128

确定性 128

缺值推理 128

人工智能系统结构 129

人工智能型教育工具 129

人工智能应用的计算机系统结构 129

人工智能应用的系统结构 129

人类学习 130

人类工程 130

人工智能语言 130

人类语言 131

人为约束 131

任务分担 131

任务级程序设计语言 131

认知科学 131

rong容错技术 131

容错计算 131

删除表 132

shang商品化的语音识别器 132

Ssan三段论 132

shah删除 132

上下文 133

shao少数最佳搜索 133

she设计阶段 133

设计字典 133

shen深度范围 133

深度量测 133

深度优先的极小极大过程 134

深度优先过程 134

深度优先搜索 134

神经元模拟 135

渗透率 135

神经元模型 135

神经模拟 135

神经元 135

神经网络模型 135

神经网 135

sheng生成与测试 136

生成型计算机辅助教学 136

生物控制论 136

声学参数归一化 136

声学语音识别器 136

时变数据 137

失效节点 137

声学语音学 137

失败驱动学习 137

shi失败 137

时间格 138

时间角色 138

识别动作周期 138

识别执行循环 138

拾取设备 138

实体造型 138

示教学习 139

示教盒 139

示教 139

实验者与香蕉问题 139

实验学习 139

世界方式 140

世界坐标 140

视觉校准 140

事件驱动式 140

事实 140

事实指导的功能调用 140

适应性教学系统 141

适应性 141

试错法搜索 141

事实指导推理 141

试验性控制策略 141

shou收敛正向修剪 142

手段目的分析 142

手眼校准 142

守护程序 142

受益者格 142

受益者角色 142

属性描述 143

树分类器 143

属性 143

属性的自动发现 143

shu输入输出模块 143

树结构 144

数据板 144

数据并行算法 144

数据并行性 144

数据抽象 144

数据流体系结构 145

数据流计算机 145

数据驱动法 145

数据流语言 145

数据库计算机 145

数据库机器 145

数据级并行性 145

数据级并行算法 145

数据驱动计算机 146

数据驱动结构 146

数据制导推理 146

数学发现 146

数字图像处理 147

数字图像 147

数字化器 147

数字化 147

数值控制 147

shuang双目图像 148

双向产生式系统 148

双向搜索 148

shun顺向推理链接 148

顺序推理机 148

shuo说话人辨认 148

说话人确认 148

si斯柯伦标准形 149

斯柯伦范式 149

说话人归一化 149

斯柯伦函词 150

斯柯伦化 150

思维科学 151

似然推理 151

似是而非 151

搜索空间 152

搜索树 152

搜索算法的性能度量 152

搜索博弈“与或”树 152

sou搜索 152

song松弛法 152

搜索图 153

搜索用的系统结构 153

su苏格拉底教导法 153

suah算子 153

sui随机文法 154

suo锁归结 154

Ttan探试法 154

探试函数 154

te特定人语音识别 154

特性表 154

特征函数 155

特征检测 155

特征 155

特征抽取 155

特征空间 156

特征描述 156

特征向量 156

特征选择 156

替代实例 157

tiao条件表达式 157

添加与删除表 157

tian添加表 157

替代 157

提纲 157

提纯判据 157

ti提纯策略 157

条件概率 158

tie贴切回溯 158

ting停机问题 158

tong通过做学习 158

通用函数 158

通代合成 159

统计判定理论 159

统计模式识别 159

同语反复规则 159

统计决策理论 159

通用知识工程语言 159

通用问题求解程序 159

通用图灵机 159

同时性 159

通路定序搜索 160

tou投影 160

透视投影 160

tu图归约 160

图归约计算机 160

图灵测试 160

图灵机 160

图像处理 161

图像复原 161

图像二值化 161

图灵论题 161

图搜索控制策略 161

图匹配 161

图灵机停机问题 161

图像均值法 162

图像理解 162

图像识别 162

图像数据库 162

图像数据压缩 162

推理 163

推理层次 163

推导图 163

推理方法 163

推理规则 163

图像序列 163

图元 163

图形软件包 163

图像序列理解 163

图像析像器 163

tui推导 163

推理子句 164

wei微PLANNER语言 164

Wwan完备性 164

tuo拖动 164

推论子句 164

推理链 164

推理网络 164

推理节点 164

推理机构 164

推理机 164

wen文法 165

位置控制 165

位置和力混合控制 165

谓词字母 165

谓词 165

伪推理 165

微PROLOG语言 165

谓词演算 165

纹理 166

问题重组 166

问题表示 166

问题归约法 166

文字常量 166

文字节点 166

文字 166

问题回答系统 167

问题空间 167

问题领域 167

问题求解 167

问题求解的弱方法和强方法 168

问题求解器 168

问题求解中的学习 168

问题行为图 168

问题状态 168

五子棋 169

无头子句 169

误识率 169

无监督学习 169

wu无价值修剪 169

无启发的图搜索 169

Xxi西洋跳棋博弈程序 170

细胞机 170

细胞阵列 170

细胞阵列处理机 170

细胞自动机 170

析取 170

析取范式 170

xian先辈过滤型策略 171

先决条件 171

先辈过滤器 171

析像器 171

系统的可访问性 171

析取合取目标树 171

先决条件表 172

先行目标 172

显式焦点策略 172

显式世界模式 172

显式世界模型 172

限定变量 172

现行状态 173

线性分类器 173

现实世界问题 173

线性归结 173

限界正向修剪 173

限制 173

限定词 173

现场消息处理 173

线性机 174

线性判别函数 174

线性预测分析 174

xiang相关定向回溯 174

相容的 175

项 175

相容性执行器 175

相关制导回溯 175

相关性 175

相关图 175

项目单 176

向后搜索 176

向量显示 176

向前搜索 176

像素 176

小粒度并行计算机系统 177

小粒度并行计算机 177

消解证明图 177

消解反驳图 177

xiao消解法 177

消解证明树 177

xie协同操作知识源 178

协同发音 178

协议分析法 178

斜投影 178

xin信念修正 178

信念修正系统 178

信息量 179

xing形式语言 179

信息隐藏 179

信息 179

信任系统 179

信任赋值 179

形象思维 180

形象源 180

行为科学 180

信任系统 180

xiu修改规划 180

修剪 180

xu需求驱动计算机 180

选择性规则 181

选择性归纳 181

xue学生模型 181

需求驱动体系结构 181

xuan旋转 181

许可条件 181

旋转变换 181

学生系统 182

学习策略 182

学习程序 182

学习简单概念 182

学习控制 182

学习控制系统 182

xun训练集 183

训练模式 183

学习用的启发式法 183

学习自动机 183

训练模式分类器系统 184

Yyan延迟求值 184

演化开发 184

演绎模拟 184

一阶谓词演算 185

一阶谓词逻辑 185

yi一阶逻辑 185

演绎推理 185

演绎数据库 185

演绎树 185

演绎推理规则 185

一致化 186

一致化集 186

一致性执行器 186

一致置换合成 186

一字棋 186

医学计算机辅助教育系统 186

音素模板匹配 187

因式 187

音位 187

医学诊断系统 187

音高 187

yin音调 187

移动镜头 187

yong永真式 188

映像变换 188

引发 188

ying硬壳式结构 188

隐藏线消除 188

隐藏面消除 188

因子子句 188

引导发现学习 188

有头子句 189

有序搜索 189

有序策略 189

有限状态文法 189

有效的 189

有界全称量词 189

you有界存在量词 189

永真性 189

永真问题 189

永真式规则 189

有序搜索算法 190

有序子句 190

yu“与或”树 190

“与或”图 190

“与或”形 191

“与”节点 191

语调 191

语法 191

语法错误 191

语法模式识别 192

语法距离 192

语法模式识别法 192

语法分析 192

语法分析器 192

语法规则 192

语言模式识别法 193

语义归结 193

语义分析器 193

语义分析 193

语义匹配 193

语言理解系统 193

语言翻译系统 193

语言发展研究 193

语言编码 193

语义树 194

语义网络 194

语义文法 194

语义消解 195

语义元 195

语音符号 195

语音合成 195

语音应答系统 195

语音理解 195

语音频谱包络 195

语用学 196

语音学定义状态 196

阈值学习过程 196

语音识别系统 196

语音信号处理 196

语音识别 196

语音信号标记 196

yuan元 197

元表达式 197

元规划 197

元音 198

原语 198

原材料角色 198

原材料格 198

元知识 198

元谓词 198

元认识 198

元级知识 198

元级通信 198

元规则 198

yun运筹学 199

约束出现 199

约束补偿 199

约束变元 199

yue约束变量 199

源角色 199

原子公式 199

原子 199

原型专家系统 199

源格 199

运行时方法确定 200

再设计阶段 200

Zzai灾难性修剪 200

zeng增添 200

运输工具角色 200

运输工具格 200

韵律语音特征 200

运动场 200

zhen帧面型计算机辅助教学 201

真命题 201

真值维持 201

诊断 201

zheng正例 201

正确识别率 201

正射投影 201

证明寻找程序 202

证明树 202

正则文法 202

正向推理链接 202

正向推理 202

正向机器人问题求解系统 202

正识率 202

正向搜索 202

zhi知识 203

知识编译 203

知识表示 203

知识操作化 203

知识处理 203

知识工程 203

知识工程工具 203

知识管理 204

知识获取 204

知识工程师 204

知识工程语言 204

知识库 205

知识库管理 205

知识库管理系统 205

知识库计算机 205

知识库系统 205

知识密集型学习 205

知识状态 206

知识模式 206

知识源 206

知识组织 207

知识组织表示 207

支撑环境 207

支撑集策略 207

直方图 207

智能计算机辅助教学 208

智能计算机 208

智能机器人 208

至少约定原则 208

值传送系统 208

直接表示 208

直方图阈值化 208

直方图均衡化 208

智能计算机辅助教学系统 209

智能计算机辅助设计 209

智能计算机辅助学习 209

智能键盘系统 209

智能教练 209

智能终端 210

智能仪器 210

智能控制 210

智能课件 210

智能教学设备 210

智能教师 210

智能接口 210

智能著作系统 211

智能自动机 211

置换 211

置换实例 211

zhong中间结局分析 211

zhu主动者格 212

专家问题求解器 212

zhuan专家 212

主动者角色 212

终图 212

zhou周期音位规则 212

重音间隔 212

终节点 212

中肯回溯 212

专家系统 213

专家系统复杂性 213

专家系统困难性 213

专门知识模块 214

专家系统原型 214

专家系统外壳 214

专家系统建造工具 214

专业知识 215

专业知识获取 215

转换合取式为析取式的规则 215

转移网络 215

zhui锥形n最佳正向修剪 216

zi子规划 216

锥形搜索 216

zhuo浊音基频 216

状态 216

装配机器人 216

zhuang装配策略 216

子节点 217

子句 217

子句集 217

子句形式 217

子目标 217

子目标节点 217

子问题 217

子问题树 217

子问题图 217

自顶向下理解 218

自顶向下求精法 218

自顶向下分析 218

自动程序设计 218

自底向上分析 218

自顶向下策略 218

自底向上控制结构 218

自顶向下法 218

自动路径规划 219

自动资料处理 219

自动碰撞检测 219

自动语音识别 219

自动翻译 219

自动定理证明 219

自动存货 219

自然推导 220

自然语言 220

自然语言处理 220

自然语言理解 220

自然约束 221

自适应 221

自适应产生式系统 221

自由度 222

自由存储区表 222

自完善教学系统 222

自适应控制 222

自适应控制系统 222

自适应系统 222

自修改 223

自学习 223

自学习系统 223

自由变元 223

自由出现 223

自知识 223

字典机 223

zu组合爆炸 223

组合子归约 224

zui最广通代 224

祖先节点 224

祖先过滤型策略 224

祖先过滤器 224

最佳解图 224

组合学 224

组合算法 224

组合搜索 224

组合理论 224

组合分析 224

组合爆炸算法 224

最佳优先搜索 225

最佳阈值 225

最简通代 225

最简一致置换 225

最优决策策略 226

最小约束法 226

最小约定原理 226

最小距离分类器 226

最小距离分类[法] 226

最普通一致置换 226

最近邻分类器 226

最优判定策略 227

最优行为 227

以阿拉伯数字、希腊字母、英文字母起首的词条阿拉伯数字 227

0型文法 228

1型文法 228

2型文法 228

3型文法 228

希腊字母α修剪 228

α原子 228

α值 228

α-β搜索 229

α-β修剪 229

β替换 230

β修剪 231

β值 231

λ表达式 231

λ记法 231

λ演算 232

AA算法 232

λ提升 232

A*算法 233

A*图搜索控制策略 233

A表 233

ABSTRIPS系统 233

AFO型计算机辅助教学 233

AGE系统 233

AIMDS语言 233

AQll植物诊断专家系统 234

APLICOT语言 234

ART语言 234

ARS语言 234

AO*图搜索控制策略 234

AMORD语言 234

ALICE语言 234

APES语言 234

BBBN-HWIM系统 235

B规则 235

CC语言 235

CADUCEUS系统 235

Cambridge LISP语言 235

CASNET医疗专家系统 236

COMMON LISP语言 236

Connection机器 236

DDADO机器 237

DENDRAL系统 237

CONNIVER语言 237

CSRL语言 237

DPL语言 238

DUCK语言 238

EEL系统 238

EMYCIN语言 238

EMYCIN专家系统……………23gERS语言 239

EURISKO专家系统 239

EXPERT系统 239

GGAl数据解释系统 240

F规则 240

FRANZ LISP语言 240

FLAVORS语言 240

FFIT语言 240

GCLISP语言 241

GEN-Z语言 241

GUESS/1语言 241

HHEARSAY-Ⅰ系统 241

HEARSAY-Ⅱ系统 241

HEARSAY-Ⅲ系统 241

ISAAC系统 242

INTERLISP-D语言 242

INTERLISP语言 242

IIBM鞋盒式识别器 242

HPRL语言 242

KKAS系统 243

KBS语言 243

KEE语言 243

KES语言 243

KLAUS专家系统 243

LOGLISP语言 244

LISP机器 244

LLISP语言 244

KS300系统 244

KRC语言 244

KMS语言 244

KL-ONE语言 244

KPYPTON语言 244

MACLISP语言 245

MELD语言 245

MBASE系统 245

META-DENDRAL系统 245

MM·1语言 245

LT学习程序 245

LOOPS语言 245

LOGO语言 245

MICRO-EXPERT语言 246

ML语言 246

m,n评价问题 246

m,(n 1)模式问题 246

MOLGEN专家系统 247

MRS语言 247

MULTILISP语言 247

MYCIN医疗专家系统 247

n最佳正向修剪 248

n位谓词 248

n位函词 248

Nn目函词 248

n目谓词 248

NASL专家系统 249

NETL机器 249

NOAH系统 249

OOPS 5语言 249

PPERSONAL CONSULTANT语言 250

PRISM语言 250

PLANNER语言 250

POP-2语言 250

PROLOG机 250

PROSPECTOR专家系统 251

PROLOG计算机 251

PROLOG语言 251

PSG语言 252

PUFF专家系统 252

QQLISP语言 252

Q不可满足性 252

QUOTE符号 252

RR1系统 252

SAIL语言 253

SS·1语言 253

ROSIE系统 253

RLL语言 253

RADIAL语言 253

RITA系统 253

SAINT系统 254

SAVOIR语言 254

SIN系统 254

SMALLTALK语言 254

SOPHIE系统 254

STRIPS系统 255

STROBE语言 255

STAMMER系统 255

SRL+语言 255

SYN系统 256

TTEIRESLAS系统 256

Thistle机器 256

T-PROLOG系统 256

TURBO-PROLOG语言 256

VV归结 257

V消解 257

VAL语言 257

VM呼吸调节专家系统 257

ZZETALISP语言 257