《全国工人智能会议论文集》求取 ⇩

一、专家系统及其应用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