图书介绍
人工智能辞典PDF|Epub|txt|kindle电子书版本网盘下载
- 中国软件行业协会人工智能协会编 著
- 出版社: 北京:人民邮电出版社
- ISBN:7115046255
- 出版时间:1992
- 标注页数:284页
- 文件大小:11MB
- 文件页数:323页
- 主题词:人工智能(学科: 词典)
PDF下载
下载说明
人工智能辞典PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!
(文件页数 要大于 标注页数,上中下等多册电子书除外)
注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具
图书目录
中文词条索引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