《全国工人智能会议论文集》PDF下载

  • 购买积分:14 如何计算积分?
  • 作  者:何华灿主编
  • 出 版 社:西安:西北工业大学出版社
  • 出版年份:1989
  • ISBN:7561202296
  • 页数:416 页
图书介绍:内容包括:专家系统及其应用19篇;自动控制理论17篇.知识获取和机器学习7篇等.

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