《人工智能辞典》求取 ⇩

中文词条索引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

便携式标准LISP5

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宏LISP64

宏算子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