《中国人工智能90 第一届中国人工智能联合学术会议论文集》求取 ⇩

知识表示＆知识系统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