一、专家系统及其应用 1
1.仪表型实时专家系统RTES-HU的实现 何华灿 1
2.RTES实时专家系统 章晋义 7
3.实时专家式液压伺服控制系统设计及应用 蔡小斌 19
4.设计型专家系统及其混合模型 高德荫 25
5.设计型专家系统的知识表示及推理机的研究 高德荫 29
6.上海指南专家系统GSS的设计与实现 韩政 35
7.专家系统在运行调整计划编制中的应用 程宇 40
8.多终端学习和测试专家系统的设计与初创 章明 49
9.××型单边带电台故障诊断专家系统的建立 李新平 55
10.专家数据库系统 田盛丰 61
11.工艺设计专家系统开发工具及煮茧工艺设计专家系统 卢敏生 67
12.工业生产故障诊断专家系统ESDDS 秦廷政 75
13.有色金属探矿专家系统及其知识库系统的开发研究 高洪深 82
14.Rulemaster专家系统开发工具的评估 瞿高峰 90
15.通用专家系统开发工具NPEST 吕艳 95
16.咨询专家系统原型GRADES的知识表现 林士敏 99
17.专家系统和主观Bayes方法的可信度传播 高德荫 107
18.MESS中三级接口的设计 孙义 110
19.基于知识库的用户界面自适应处理方法的探讨 薛勇健 116
二、自动推理理论 120
20.线性半锁归结原理 刘叙华 120
21.扩充的一阶逻辑归结 刘清 122
22.对符号积分中换元算法的一个扩充 江毅 130
23.平面几何定理自动证明系统 陈冰红 134
24.多值逻辑设计中的自动定理证明方法 邵鸿余 138
25.关于“知道”逻辑的组合逻辑算法及人类的逻辑推理过程 苏运霖 148
26.一个有关不确定性的启发式推理的理论 钱大群 153
27.不确定性证据表示 范仲春 158
28.一种新的不精确推理模型LTH模型 周永林 162
29.试论泛LVL与不精确推理 李国强 167
30.模糊决策方法 马新颐 174
31.模糊推理的一种方法 徐建清 183
32.模糊数学在专家系统中的应用 钱大群 187
33.非线性似然推理方法 杨传钧 191
34.NRS:一个非单调推理系统 马蔺 195
35.代数系统在微型计算机上的实现 陈楸 201
36.一个不确定性推理的研究与设计——RUES系统 左孝凌 212
三、知识获取和机器学习 223
37.关于类比学习的实施策略 徐立本 223
38.机器的认知学习 李彦 231
39.一种通过例子学习的自学习系统 曹加恒 238
40.知识求精——知识学习及掌握在人工智能中应用 吴万清 243
41.知识获取方法研究 周光明 249
42.一种知识获取方法 欧阳为民 254
43.GKAO系统——人工智能的一个综合工程 张淦生 262
四、智能化计算机辅助教学 267
44.一个关于代数系统的CAI专家系统——组合格论的实现 杨嘉 267
45.面向教学的符号演算专家系统 闫守礼 277
46.高等数学智能CAI系统 庄岩 288
47.智能试题库 周亦鹏 295
48.规划教学系统PLTES的一种教学策略 李卫军 299
49.一个辅助教学专家系统开发环境的研制 向茂生 304
50.基于规划的智能CAI系统 吕勇 308
51.论人类智能的认知原理 蔡义发 313
五、智能科学 313
52.从思维的模块结构展望人工智能机 屠竹洲 324
53.智能推理中的层次结构 杨炳儒 333
54.定性推理中的一种“想象”过程 林阿龙 339
55.我来谈谈直觉思维和灵感思维 李国材 345
56.神经网络和第六代计算机 郑德高 348
57.中医临床的辨证思维与人工智能 郭振球 357
六、其他 361
58.关于LISP机的体系结构 何华灿 361
59.产生式系统的并行模型 胡铭曾 370
60.基于期望的汉语分词方法的研究 黄厚宽 377
61.自然语言语义的形式化 周径野 383
62.向量量化、有限状态机、模拟退火及孤立词语音识别 倪晋富 388
63.一个基于分析与综合思维形式的智能解释器 佟伟光 395
64.一个基于知识的机器人规划系统 李明树 400
65.智能移动机器人关健技术研究——路径规划、专家系统、机器学习 洪家荣 407
66.An AND-parallel Execution Algorithm for prolog and lts Implementation 刘初长 410
因各种原因未能载入本论文集的会议录用论文目录(共28篇) 416