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