中国人工智能90 第一届中国人工智能联合学术会议论文集2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

中国人工智能90 第一届中国人工智能联合学术会议论文集PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

知识表示＆知识系统1

1.大型专家系统设计方法&涂序彦1

2具有两级不确定性的推理模型&刘大有 钟绍春 高雅卿7

3.知识库系统KBS/TH—1的研究与实现&王克宏 汤志忠 刘广天13

4.概念程序设计及其支撑系统的设计与实现&郭福顺 古志民 尹红兵 李莲治18

5.智能数据库研究&吴信东23

在多个ES协作系统中不一致性问题的处理&刘大有 钟绍春 高雅卿31

7.可信度函数的分解&郑方青38

8.DAI系统控制的分布及其规则&高济43

9.多专家系统协作时辩论过程中的相对正确度及其计算&马志芳49

10约束知识环境&廖乐健 程虎56

11.高性能专家系统工具DECISION—T&史济建 俞瑞钊 何志均60

12用面向对象的数据库系统支持知识库的管理&陈平 徐建 何志均66

13.面向并行求解的通用黑板系统开发工具GDBDT&张赤红 张树斌71

14.支持专家系统开发：协同式界面模型&吴朝辉 应晶 何志均76

15.一种新的知识表示方法—FGR及其应用&李祖枢 汪庭凯 向农82

16.一种集成化的知识表示途径&杨德仁 刘国衡88

自动推理93

17.计算机科学中的逻辑挑战&刘叙华 石生力93

18定性推理&石纯一 李孝光100

19.假设推理中多推理者的推理机制研究&王献昌 陈火旺108

20.基于闭半环算法簇的形式证明及具体实现&薛锦云 熊刚114

21.基于MSLDNF消解的缺省推理系统&范仲春 邢汉承121

22三种归结原理的相容性问题&刘叙华128

23.算子fuzzy逻辑及其归结推理的改进&刘叙华 安直133

24.直觉模糊逻辑中的归结方法&石生力 刘叙华140

25.再谈一阶逻辑的证明算法&刘广清 姜云飞 刘叙华146

26.CSCAS：规范化简的计算机代数系统&李岳锋149

27.连接法中的几个简化规则及其算法&缪淮和 李迎豪155

28.线性可采纳搜索算法的充要条件&张伟 俞瑞钊160

29.多维线性空间的非确定性问题求解研究&刘国衡 杨德仁166

机器学习＆知识获取174

30.CASE一个基于属性描述的增量式概念获取系统&陈世福 潘金贵 陈彬174

31.面向概念的通用知识获取系统&王申康183

32.一种机器学习发现系统&蔡庆生 徐慧敏 梁戍刚191

33.MPLS：一个数学证明学习系统&徐立本198

34.SWT3—一个基于问题分解的布尔函数极小化方法&洪家荣 毛成江205

35.解释与联想的学习方法&龚义涛 石纯一212

36.从示例中学习规则的基本框架&吴轶华 王树林219

37.解释学习的星法&何钦铭 俞瑞钊 何志均225

38.ABAS—一个基于联想的类比学习系统&赵德开 洪家荣 黄春湛230

39.聚类分析引导的自动规则获取&杨庆237

模式识别＆图象处理244

40一种获取物体表面三维信息的算法原理&魏湘曙 石青云244

41.围线特性基元及其在二维速度场计算中的应用&付洁 吴立德249

42.基于予测的三维物体识别定位&万享 徐光佑255

43.面向机械设计的智能CAD环境&寿宇澄 何志均260

44.复杂背景下目标识别的一种基于知识的方法&王以治 彭嘉雄265

45.一个实用的LSI版图设计规则检查及修改系统&毛晓明 陈佩芳 李介谷271

46.MRRE：三维多体运动参数的鲁棒估计&庄新华 张鹏 汪涛276

47.ECARG的匹配及其应用研究&王成道 何洁宇 万嘉若283

48.基于PROLOG和GKS一体化的图形系统&王鸿谷 牟迎春 陈振初 樊爱华 杜牧野289

49.PCB逻辑图手稿输入系统&沈清 许先行 王晓霞295

50泛欧几何的基础编码—段码及其应用&刘鸿健 杜江川300

自然语言306

51.汉语人机接口HRJ的自动分词技术&黄祥喜306

52现代汉语句子分析中的岐义现象及其处理策略&刘开瑛 王小鹏311

53.基于合一的汉语生成&李东 黄昌宁316

54英语并列连接结构的一种分析方法&沙新时 吴立德 黄中平322

55.能处理模糊概念的数据库自然语言接口DBFNLI&姜良 黄厚宽329

56.书面汉语自动分词和理解系统PTCUS&黄祥喜 黄春飞333

57.对机器翻译速度的探讨&吴岩 王开铸340

58.对自动文摘的研究和实践&徐越 李小滨346

59.汉语同音字识别&杜中军 柴佩琪351

体系结构＆AI语言356

60.一种新型人工智能语言系统设计技术研究&胡运发 陈火旺 胡子昂 卢肇川 邓铁清356

61.等式型函数逻辑型语言执行机制的研究&田新民 王鼎兴362

62一个实用的PROLOG—DBMS系统实现&李磊 陈守孔 张学惠 周春光368

63.人工智能系统体系结构的功能化设计&高济376

64.并行推理机RAP/LOP—WAM的抽象机模型和体系结构&高耀清 孙成政 胡守仁381

65.一种新型智能机核心语言模型—LFOO&李凯388

66.CASC语言实现中若干人工智能技术&衰仁保 谢果然394

机器人400

67.移动机器人路径规则算法的实验研究&艾海舟 张400

68.智能装配机器人知识库及其装配顺序的规则方法&何菁 林尧瑞 王家钦406

69.利用人工势场的移动机器人局部路径规则&金小平 何克忠 袁曾任411

智能控制＆智能管理419

70电液位置伺服系统仿人智能型模糊—自适应控制&王应建 王昌银 林建亚 路甬祥419

71.仿人智能控制理论研究&李祖枢424

72.WOIMS：油田井下作业智能管理系统&蔡令涵 孙奎英 涂序彦432

73.控制系统故障诊断的智能方法&谭民 疏松桂438

74.基于知识的非线性动态系统的容错控制研究&周东华 陆鼎 席裕庚 张钟俊443

认知模型＆神经网络449

75.论思维及模拟智能&尹红凤 戴汝为449

76.人工智能中的两个学派&张 张铃453

77.自动生成层次神经网络的反推（Back—Propagation）学习算法&庄新华 吴吟 汪涛458

78.用于识别多字体英文印刷字符的人工神经网络&林慎机 李介谷464

79.联接机制表达知识的两种方案&王珏 杨一平469

80.纹理特征抽取和纹理识别的神经网络系统&王成道 陈瑶 毛建昌473

其它479

81.数学形态学—串行算法和圆盘序列分解&龚炜479

82.智能计算机操作系统的设想&周天爵 赵子正485

83.电子设备的实时维护与诊断&魏蛟龙 周曼丽 朱耀庭490