《智能计算机系统论文摘要集 1986-1990》求取 ⇩

目录1

一、智能计算机体系结构1

PPS-MACHINE：一种基于包驱动机制的产生式系统机的体系结构1

基于层次型处理器系统的包驱动控制方法的研究及其实验模型2

用于层次型处理器系统的信息流网络中的包控制模式2

层次型包驱动系统的性能分析4

对推理机体系结构的研究及层次型包驱动结构HPDM的设计4

用PROLOG模拟Lyusia语言中状态转移编程体裁 （i5

多级总线系统的容错分析与设计5

PPS-Machine：包驱动产生式系统机的设计5

容错双环网络D？6

互连网络结构多处理机系统容错性能分析6

互连网络的可靠性概论7

WBIB设计与容错多总线系统7

几种总线系统的可靠性分析和比较8

多总线系统的性能分析8

ESC互连网络的DFA容错分析9

多机系统的统一模型和容错设计9

多总线系统的容错分析10

超图割集的计算11

一类多总线系统的研究11

容错多总线系统的可靠性分析11

超图的连通性及容错多总线系统的设计12

一个智能硅编译系统的符号编译器13

多层神经网络的量子学习方法13

智能工具机的性能分析14

知识库推理和维护系统KBIMS14

递归函数中的Cache15

ML语言的数据类型和抽象类型的同式多型16

函数／逻辑程序设计语言LM的应用——FFP系统支持的△-PROLOG16

FP中并行粒度的研究17

D-POREL的体系结构和用户语言17

EST智能工作站的性能和特点18

一个HPARLOG的并行实现模型19

一种适于运输调度的分布式问题求解系统19

分布式运输调度系统中控制与通讯结构的研究20

分布式知识库系统的体系结构20

分布式运输调度问题分解的研究21

分布式知识库系统的查询接口处理和优化21

分布式知识库系统的体系结构22

分布式运输调度系统中问题分解的研究22

分布式人工智能研究近况23

知识库管理系统的功能、组成与实现23

知识库系统KBS/TH-1研究和实现24

分布式知识库系统中问题分解的研究24

分布式知识库系统体系结构的设计研究25

QKBMS/75——一个由关系数据库管理系统和逻辑程序语言25

组成的知识库管理系统25

分布式知识库系统26

分布式知识库系统初探27

分布式问题求解应用的分类27

分布式知识库系统体系结构与知识传输机制的研究及实现28

分布式知识库系统中知识管理机制的研究与实现28

URPR-1多处理机设计29

一个基于软件流水技术的VLIW体系结构29

一个基于软件流水的VLIW体系结构及优化编译器30

循环体间相关问题及改进的URPR软件流水方法31

GURPR——一种新的全局软件流水方法32

采用两级软件流水技术的VLIW优化编译器32

从抽象ENGINE到KLND-ENGINE33

多处理机系统上实现新型程序设计语言的研究33

加权模糊逻辑及其广泛应用34

模糊关系型数据库的数据模型34

模糊数据库中的语义距离及模糊视图35

关于VLSI并行算法的某些结果36

知识库机的系统结构研讨36

对象作为自动机及面向对象程序设计风格作为自动机网构形36

ML核心语言的意外机制的同式多型类型检验37

ML核心语言的同式多型类型检验的推理系统38

面向机体的人工智能语言Ein的抽象模型38

多体裁语言Lyusia：状态转移程序设计体裁39

泛函程序设计语言FFP的γω演算语义40

合成逻辑作为一阶数学理论40

Lyusia语言中状态转移编程体裁的谓词／事件网语义学41

面向对象程序设计体裁嵌入FFP-AST系统41

集合程序设计语言的实现42

γω演算与谓词演算融合于一阶数学理论中43

函数式语言对数字电路的描述、综合及模拟43

通过程序变换对数字系统进行优化44

项重写系统和的合流性44

PARLOG的扩展图重写实现技术45

模式匹配在函数语言中的作用及其编译算法45

并行图归约机结构及其模拟46

一种改进的无用单元回收算法46

并行图归约机中智能存储系统的设计与研究47

等式型函数逻辑型语言执行机制的研究47

二次通过IBNC网络的终端标记控制算法48

一个高级函数语言类型检查算法48

适于开发数据流图并行性的CDR启发式调度算法49

提高数据流图固有加速比的新因素——出度与平衡50

CDR启发式调度算法对数据流程序图执行的加速作用50

引入合一运算的函数语言执行机制的研究51

函数语言与逻辑语言的合一——面向限定型函数程序设计52

函数程序设计中的窄化和合一——一种用于绝对集合抽象的计算机制53

函数程序设计语言的图归约实现方法和技术54

并行图归约执行机制的研究54

并行图归约计算与并行图归约计算机的研究55

并行图归约计算机（PGR）系统中间语言及其执行机制设计56

分布式并行归约系统结构设计研究56

智能工具机系统结构57

编译型Prolog系统中非逻辑成分执行机制的研究57

一个维护编译型Prolog数据库的模型58

Prolog抽象机模拟系统WAM-PLUS-SES59

基于Warren抽象机的Prolog实现技术的研究59

一种支持Prolog数据库操作和数值计算的顺序推理机系统结构的设计60

Prolog代码库的一种管理方法60

可静态修改Prolog代码的管理60

Prolog的编译实现61

WAM-PLUS模型中Prolog数据库和数据库操作内部谓词的实现61

多处理机上多关系连接算法的设计与分析62

并行存储器与互连网络的一体化研究63

面向对象数据库的对象标识技术63

面向对象数据库存储管理子系统的设计64

面向对象数据库的存储管理64

通用的面向对象知识处理系统GOOKPS65

面向对象数据库的研究65

并行排序器SOP的设计66

在并行逻辑数据库机上的递归询问实现67

一个并行的逻辑数据库体系结构67

用于超大规模知识库管理的并行结构67

现代超级计算机系统68

一个并行知识库机体系结构69

超级计算机电路性能分析与展望70

一个多处理知识库系统70

知识库系统及关系知识库机系统结构的研究71

关系知识库模型的设计和评价71

知识库系统KBS-172

一个关系知识库模型机的设计和实现72

关系知识库模型机性能评价73

知识获取机构74

支持逻辑程序并行执行的并行推理机研究74

一个并行逻辑程序设计系统的设计和实现74

大型通用神经网络模拟系统——GKDNNSS75

基于OR树林描述的RAP/LOP逻辑程序并行执行模型76

基于RAP-PSOF并行执行模型的并行抽象机设计76

并行抽象机模型的设计与实现77

一种开发逻辑程序中AND并行性的静态编译方法78

用点格机来实现关系数据库操作的一种方法79

并行推理机RAP/LOP-WAM模拟实验系统和性能评价79

面向对象知识库中的类型演化80

面向对象数据库存储管理子系统的设计80

并行排序器SOP的设计81

一个并行知识库机体系结构81

超级计算机电路性能分析与展望82

多处理机上多关系连接算法的设计与分析83

面向对象数据库的研究83

面向对象数据库的对象标识技术84

用于超大规模知识库管理的并行结构84

面向对象数据库的存储管理85

并行存储器与互连网络的一体化研究86

现代超级计算机系统86

通用的面向对象知识处理系统GOOKPS87

一种新的逻辑程序自动模式识别方法88

在并行逻辑数据库机上的递归询问实现88

通用PROLOG抽象解释器GK-GPAI的设计与实现89

并行推理机设计的主要论题89

一种支持逻辑程序AND和OR并行执行的存储管理方法90

RAP/LOP-WAM并行推理机的编译器设计90

采用多微机构造并行推理机的方案设计和性能评价91

支持面向对象语言的体系结构91

并行推理机编译技术的研究92

并行逻辑程序设计系统RAP/LOP-WAM中的并行调度策略和否定的并行92

实现92

一种基于Prolog的面向对象范例及其对知识系统的支持93

演绎数据库系统G-DDBS/VMS的研制93

一种基于WAM的寄存器分配策略94

非数值计算的并行算法94

VLSI并行计算95

Benes网络的半自动选路法95

改进的多层栅格嵌入算法96

模拟退火算法及其应用96

神经计算及其在组合优化中的应用97

神经计算机97

分布式系统中一个神经网任务分配器98

多专家知识处理系统：MEKS-199

HITKMS：一个支持多专家合作和经验学习的知识库机系统99

一个大型知识库的知识组织技术100

多专家意见组合研究101

OPS产生式系统及其并行执行102

逻辑程序设计语言的并行性分析102

RETE-Plus：产生式系统全状态高并行处理模型103

一种支持合作问题求解的成员系统并发程序设计语言104

R+-PSM：一个基于RETE+模型的产生式系统机器结构104

一种快速组合算子归约模型FCRM105

并行推理机PIE的剖析105

将软件开发过程形式化自动化的逐步精化方法107

软件规格说明语言GSPEC107

二、软件生产自动化技术及智能软件开发环境107

归纳程序综合系统NDIPS的设计108

关于一个软件自动化研究与开发项目的报告109

基于软件自动化的开发环境109

算法设计自动化系统NDADAS110

实验性软件自动化系统NDAUTO111

从功能规格说明到设计规格说明的转换112

领域知识和自动编程112

封闭世界假设及其在知识库中的应用113

基于Ada的软件开发新模式114

类比推理中的一种相似性准则及其验证方法114

使用高阶一致化进行程序综合115

基于代数模块规范的软件开发方法116

AI语言的基本计算机制116

程序开发的类型论方法117

保证编译正确性的操作化方法118

混合型知识工程开发环境——KEDE118

知识库系统KBASE中的规则规范化理论119

演绎数据库的查询计值119

演绎数据库查询计值的信息传递策略120

软件测试工具的回顾与展望121

页面描述语言Postscript121

基于文件和基于知识的软件理解121

TAUS：一个基于文件的软件理解工具122

EASE：嵌入式代数规范支撑环境122

代数规范的转换技术123

交互式环境中非局部依赖关系的实现124

嵌入式代数规范支撑环境中的二层转换124

嵌入式代数规范支撑环境的增量验证器125

IPEI——一个基于知识的智能程序设计环境界面126

类Pascal程序中并行性的动态检测126

带知识库的软件自动环境FSA127

增量属性计值新的有效算法的设计、证明和分析127

一种使用多重依赖进行的属性计值的高效方法128

程序设计中人的错误与交互式程序设计环境的开发129

智能化的句法纠错与词法纠错方法129

基于语言的交互式程序设计环境中的非局部属性的增量计值130

增量数据流分析及其在增量程序设计环境中的应用131

FPE/l：增量型程序设计环境131

应用程序分片的新的软件测试与排错方法132

程序分片：其改进算法与在程序验证中的应用132

Smalltalk-80虚拟机在VAX/VMS上的实现133

从Smalltalk语言的结构特征看“软插件”的形成133

面向对象方法学的研究134

面向对象计算机系统研究中的几个问题135

PROLOG程序部分计算器的研究与实现136

重写技术及其在计算机科学中的应用136

PROLOG程序部分计算的进一步研究137

智能机基础语言及其支撑环境的研究137

编译Prolog设计的优化技术138

一种新型的人工智能语言系统设计技术研究139

GKD-Prolog编译系统的部分计算器139

可重用构件及软件的组装139

WUDA规范——面向对象的软件需求分析与定义方法140

SQL查询到关系代数查询的转换141

面向对象的需求描述语言OORDL141

软件开发知识表示与利用语言SOKM/L的研究（之二）142

一个软件原型化的集成框架143

软件开发知识的表示与利用模型SOKM143

软件开发知识描述语言SOKM/L的研究144

SOKM/L语言在JSD知识表示与利用中的应用145

SOKM/L在SSD知识表示与利用中的运用145

用户界面快速原型语言——UIRPL146

一个集成化软件原型开发环境SPE——设计与实现146

Jackson程序转换技术的一些改进147

用NUSL写多种可执行的语义定义以及函数类型的实现方法148

基于数据抽象的可执行规格说明语言NUSL148

Jackson开发方法的支撑系统NUJSS149

一种面向可理解性的可复用软件开发方法150

一个文化程序支撑的系统150

自动排版及自动排版语言的设计151

文化程序设计系统151

可复用软件库管理系统SBMS152

基于频谱变化量的认人单呼语音识别153

三、智能接口153

不认人实时单呼语音识别系统153

汉语短语中的字数判定154

连呼汉语的分段与识别154

加重基频信息的汉语音节语音识别方案155

以音节为单元的连呼语音识别方法156

加快语波VQ编码过程的途径156

连呼汉语识别研究157

用模式匹配法识别连接呼汉语158

利用矢量量化进行与内容无关的发音人辨认158

不认人单呼语音识别的研究159

三维物体深度图像的获取与表述160

汉字OCR技术及其智能化的发展趋势160

连接传真机与微机的文字图像输入接口161

印刷体汉字识别特征选择方法的研究161

汉字识别162

汉字识别方法163

中国汉字识别进展163

一个图形直接操作与图视语言结合的人机交互环境164

用图示语言定义应用数据的显示164

识别在线手写汉字的模糊属性自动机165

在线手写汉字识别的字形结构排序法166

用Icon进行通讯：图像的真实性与意义166

四百万手写华汉字样本库的介绍167

联机手写汉字识别的理论与实践168

动态图像模式描述的图视语言168

微机手写汉字联机识别系统的原理与实现169

高识别率印刷体汉字识别方法的研究169

一种基于拐折编码的笔划识别方法170

多字体印刷汉字识别系统的研究171

关于联想式汉字识别后处理方法的研究171

基于规则的汉字文本切割专家系统172

微型机印刷体汉字识别系统172

手写体汉字识别粗分类方法的研究173

利用分类树方法对手书数字的识别174

一种C3I系统的智能接口——计算机声图系统174

现代汉语篇章中的句间联系分析175

汉语句子的多层次分析175

现代汉语句子分析中的歧义现象及其处理策略176

汉语歧义解决策略177

一种解决现代汉语自动分词歧义切分问题的方法178

GIEB微机高速图像图形处理系统178

知识导引的景象识别179

三维物体表面的纹理综合180

一种递推最小二乘图像参数辨识180

最少分词问题及其解法181

二维纹理图像的产生181

论多种汉字编码方案的组合182

汉字编码方案的择优、统一和发展182

一个智能汉字输入系统的研究和实现183

汉字信息处理的新型工具184

交互式地图信息处理系统184

汉字形码和音码的整体性对部件识别的影响185

汉字整体知觉对部件知觉的影响——研究汉字属性内部186

表征的一种间接途径186

汉字词与汉语拼音认知过程的比较研究187

整合词义对词及其词素命名再认的影响187

基于词义理解的从拼音至汉字转换系统188

图形自动输入与理解技术的探讨189

汉语语音知觉特征190

四DMA通道通信板的硬件和程序设计191

利用标准线性四元—八元树由正交三轮廓图识别三维客体191

四值逻辑在图像处理中的应用192

汉语句法分析器需要有一部词汇知识丰富的电子词典193

计算线性四元树表示的二值图像Euler数的图论方法193

发展中的中间语言194

基于合一的汉语生成194

汉语句法分析的一种多扫描确定性算法195

汉语中的兼类词、同形词类组及其处理策略196

关于语义辞典构造的一些初步设想196

计算机的汉语通用接口（二探）197

用结构相似法识别限制性手写体汉字197

手写印刷体汉字识别中的一种新的分类方法198

用非精确结构匹配法识别手写印刷体汉字199

手写印刷体汉字识别中的相关属性关系图表示和不精确匹配200

利用TMS320C25开发的三维地形高速显示系统软件设计201

不规则物体的计算机生成201

通用型DP-Matching算法的研究202

基于特征空间精细结构的加权距离测度及其在说话人识别中的应用203

语言信号的Robust GARMA分析203

HKU-USTC机器识别普通话数据库204

一种用于电路图自动扫描输入器的基于BAG的矢量化算法205

基于双谱（三阶矩）的语音分析205

用于大幅面工程图理解系统的一种经济有效的图形边界提取算法206

二值图像的扩展二叉树表示方法及其在工程图输入中的应用206

基于BAG的矢量化方法及其在手画逻辑电路图识别中的应用207

工程图形轮廓提取方法及其在工程手写字符识别中的应用207

一种用于地形图自动扫描输入的快速矢量化方法208

用修正的自相关法识别汉语全部1286个单音节的清浊音分割点及四声208

汉语单音节中清音声母的识别209

一个基于机器学习的现代汉语理解系统210

“语境相关”自动分词方法211

书面汉语自动分词的“生成—测试”方法211

基于DSP方法的机器人视觉信号快速处理器的设计212

小型实时计算机视觉处理系统的研制213

一种基于DSP方法的微型计算机视频信号处理板的设计213

多屏幕多画面人机界面系统214

计算机软件的人机界面性能评价215

面向个人的词码输入方式及其软件支持系统PLED215

句法-词义模式识别中递归结构的文法推断216

模式识别中的递归结构及其句法—词义描述216

基于笔划元分析描述汉字模式的属性文法217

利用外围笔划结构的汉字识别预分类方法218

汉字识别用样本数据库研究219

汉字识别的笔划元模型和匹配策略219

模式结构的句法词义描述及其距离量度220

句法词义方法和模式结构形式——汉字有序结构和无序结构221

汉字的微结构和笔划提取222

汉字笔划的微结构分析222

基于知识的手写体汉字识别的一种策略223

表格式图像数据库查询语言224

地形图的处理和识别224

智能计算机辅助汉语教学系统的设计与实现225

汉字模式结构的句法词义描述226

四、智能应用系统228

容易产生测试的PLA228

神经网络的原理及应用228

LM印制电路板自动布线算法229

有理BETA样条的形状控制230

集成化CAD/CAM系统的产品信息表示230

面向几何造型的核心模型231

面向工程设计的数据库模型及其实现231

集成化CAD/CAM系统中的产品数据结构232

ICADE．一个基于工程数据库的机械CAD环境232

关于舰船识别的神经网络233

合同战术级军事专家系统研制233

我国人口与经济发展战略决策支持系统CDSS234

加速C3I系统智能化软件的开发235

神经网络与机器人眼手系统235

M．R．S．自组织三维神经网络的改进及其在机器人控制中的应用236

一个多功能信息检索系统MIRS237

智能化英汉机译系统IMT/EC237

IMT-KB：智能机译知识库系统238

人工神经网络进行光流场估计238

SQL关系数据库系统的查询处理239

LIDBSE：一个在数据库支持下的专家系统产生器240

模糊计算逻辑及其在AI中的应用240

实现推理与数据检索一体化的几种途径241

基于PROLOG的大型图形系统242

勘探地下水专家系统NCGW的设计与实现242

智能化人口—经济发展战略决策支持系统CDSS243

仿真模型体系与决策支持系统244

资源、科学技术与经济增长的系统分析模型244

中国人口年龄分布变化的幅度及其对经济发展的影响245

作为发展研究工具的一个人口—经济仿真模型246

自动文摘系统EAAS247

对自动文摘的研究和实践247

知识库管理系统GKBMS的研究248

专家系统在军事领域中的应用248

Marchel——一个工程数据库管理系统249

工程数据库管理系统Marchel的多级版本管理及其实现249

一种自动验证组合逻辑器件功能的方法250

基于人工智能的PCB布线系统251

EDCADS对表面安装器件的处理技术251

集成化电子CAD系统中逻辑划分系统——CALOP252

基于算法和基于知识混合的CAD系统252

定性推理在控制系统设计中的应用253

关于空间运载器姿态控制系统智能CAD的几个问题254

逻辑分析专家系统LAP254

面向VLSI CAD的专家系统外壳255

一个具有模糊概念学习的开发专家系统的集成化工具255

逻辑分析的推理方法256

对人的多任务故障处理能力的一种测试软件257

一种人控制行为最优控制模型257

关于地雷智能引信的初步研究258

五、智能计算机系统基础理论260

用神经网络学习控制任务260

人工神精网络的研究目标260

神经元生理与神经网络诸方程261

神经网络与生物医学工程262

一个生成格框架的算法263

一个基于SNES之间意义连贯的汉语问答实验系统263

CQAES，一个自然语言问答实验系统263

智能机漫谈264

前件推导及其计算机实现264

神经网络描述语言（NNDL）的研究265

神经网络模拟系统编译器的结构特点266

量子计算机与人的意识266

神经网络量子理论的应用267

一种具有知识评估和知识求精的知识获取（KER）算法267

分子计算理论与神经网络268

紧致性定理的纯语义证明268

一种联想式语言记忆模型269

论思维及模拟智能269

CKRL，一种联结机制知识表达语言270

人工神经元网络信息处理原理270

关于可视知识的讨论271

人工神经元网络在系统辨识中的应用271

基于人工神经元网络的中医专家系统外壳NNS272

综合各种模型的专家系统设计272

建造带有人工神经元网络知识系统的一种方法273

通过知识组织设计专家系统的一种方法273

神经元网络专家系统及其在核反应堆事故诊断中的应用274

一种联想记忆模型及附加节点方法275

模式描述和知识表达的语义句法方法276

智能控制系统276

一种基于单层逻辑神经元网络的通用自适应模式识别系统277

基于面向对象模型的自动知识获取方法277

一个非单调的推理系统WMJ278

面向多推理者系统的逻辑框架——MRSL278

多推理者系统中的假设推理279

记忆的结构和语句加工280

定义近似推理的框架280

并发演算理论281

并行处理的类型演算281

专家联合的结构和策略282

分布式专家系统283

分布式解题系统述评284

分布式知识工程研究（Ⅰ）284

微机网上的分布式专家联合系统UNION（Ⅰ）（Ⅱ）285

类比方法的解题逻辑286

MPLS：一个数学证明学习系统286

SWT——一个基于示例学习的布尔函数极小化系统286

示例式学习及多功能学习系统AE5287

一个旋律调性分析系统ESATM288

旋律调性分析系统ESATM的设计原理288

双桥系统的可靠性最优配置289

一个乐谱阅读系统MRS的设计原理289

一种统一的非单调推理理论290

近似推理系统M290

概率多项式阵及其逻辑特性291

智能计算机与归纳式程序设计291

网格迭代问题的最佳粒度292

昆虫视觉系统平行加工通道研究292

蜜蜂视觉边缘检测及其颜色的特性293

自由飞行蜜蜂跟踪运动目标的研究294

汉字的视知觉——知觉任务效应和汉字属性效应295

用DOG函数进行边缘检测的网络模型295

关于区间图的一些有效并行算法296

AOE网的并行算法297

找K个最小生成树的并行算法298

分治策略设计并行算法298

分布式环状网络的一个组合数学问题299

PRESS符号方程求解系统300

二分图最大匹配问题的分布式算法300

加权模糊逻辑的形式描述及其应用301

模糊计算推理和神经元网络301

模糊计算逻辑和它的各种应用302

物体边界限制下的深度数据的表面描述302

利用元级和对象级混合语言的集成化知识处理系统——KPS—1303

ESET——一个专家系统开发工具304

关于数据库的时态推理304

非单调性时态推理管理方法305

SLONN：一个用于神经网络模型的模拟语言306

SLONN：一个神经元网络的模拟语言及其实现306

一个面向发现的逻辑模型307

一种用于产生式系统的优化匹配网络308

信念函数合成的证据独立性条件308

一种用于计算机模拟的神经元模型309

按模式记忆309

AI研究中的若干问题310

对我国智能计算机发展战略的意见311

区域表示：线性四元树转换成边界链码311

区域表示：二元数组转换成线性四元树312

CASE：一个基于属性描述的增量式概念获取系统312

论FFP中ρ和μ两函数的合成逻辑本质313

同式多型的类型检验上PROLOG的应用313

广义元合成法则314

γω演算——一种高级合成逻辑315

γω演算的语义学315

非全局连接的联想记忆神经网络316

用于动态联想记忆的局部连接多层神经网络模型316

具有Hopfield电路动态特性的酶神经元的进化学习317

λ+——具有代数算子的λ演算318

具有代数算子的λ演算系统的模型构造318

一种新的并行分类算法319

关于TSP的一些新并行算法试验319

解货郎担问题的异步并行模拟退火算法320

旅行商问题及其矩阵表示法320

解旅行商问题的单枝算法321

旅行商问题的并行算法321

并行分裂归并排序算法322

解TSP问题的最近邻法的一种改进322

关于超期罚款问题的一类近似方法322

最远分组技术解旅行商问题323

分裂算法解0-1线性规划323

Horn逻辑上的范畴等价及方法推广324

基于重写技术和面向对象结构的AI语言——ROOT324

论知识表示325

重写技术在自动定理证明中的应用325

KIS：一个新颖的知识精化系统326

KIS知识精化系统的设计与实现327

限制推理及其应用327

知识库的维护及其PROLOG实现328

一种类比学习系统GAP328

一种机器学习发现系统329

一种数据归纳的学习工具330

一种机器发现系统的算法研究330

迅速发展中的机器学习330

类比学习的几种联想条件331

机器学习系统模型研究331

一种图形代数系统332

工具系统MESl的知识表示——专家系统设计语言PPRLl332

工具系统MESl的知识获取（一）333

目标网：多模块系统的任务分配和模块调度333

知识获取工具ENABLE334

专家系统中的一种模糊推理模型335

对一种基于证据理论的不确定性处理模型的重要扩充335

多个异型ES组成的联合协作知识系统构造工具3MT336

专家系统中的不精确推理研究337

一个解决货郎担问题的高效神经网络337

用神经网求解一些难的图论问题338

类比方法的解题逻辑338

MPLS：一个数学证明学习系统339

一个多功能信息检索系统MIRS339

建造第二代专家系统的工具340

使用双状态后置条件的While循环的证明规则341

支持专家系统开发：协同式界面模型341

允许说谎三次的Ulam问题的解决342

NP类与重言式342

一个P-NP问题的布尔线路性质343

归纳逻辑：卡尔纳普的公理系统和我们的设想343

卡尔纳普归纳逻辑系统在知识获取中的应用344

决策分析与非Pascalian概率的逻辑解释344

关于科学发现机器的研究345