目录 1
1．特邀报告 1
对我国智能计算机发展战略的认识 汪成为 1
关于智能系统综合集成若干问题的讨论 戴汝为 王珏 6
模糊推理网络 何新贵 15
超知识论研究 王树林 23
非单调推理的研究现状简述 刘叙华 刘瑞胜 33
面向篇章理解的多智能体系统-MAS/TH-3 石纯一 王克宏 胡蓬等 40
空间知识与科学可视化 许卓群 45
2．知识表示 49
面向对象的知识表示及其并行推理策略的研究 沈仲军 邱玉辉 杨明 49
一种类比知识表示与逻辑描述 罗玉龙 李波 赵沁平 55
DZLX中的知识表示和处理 蒋学锋 62
航天测控知识表达语言ILES及应用环境 石宇良 69
知识概念的模糊化描述及目标的模糊识别 李膺春 石纯一 76
概念的表达与处理 杨一平 庞真 82
D-Box：内涵的知识表达系统 昊朝晖 应晶 何志均 M．M．Richter 88
自然语言处理中的知识表示与获取 刘海涛 94
实时专家系统中时间特征的知识表达 郭宏飞 郭宏蕾 许桂清 周建常 97
面向关系的概念描述 韩柯 李德毅 100
航天测控知识表达语言ILES数据库接口子系统的实现 邱岳江 石宇良 103
基于表格的知识表示及其推理 李永礼 吕献忠 王生原 谭红艳 106
3．学习（算法）与知识获取 110
静态数学模型发现系统FDS的原理与实现 陈鹏伟 110
一种基于变换特性的状态空间问题求解学习方法 唐少先 彭恋平 蔡自兴 117
基于反馈信息的机译知识辅助获取 黄河燕 124
FSLS：一个具有学习功能的因式分解系统 张世伟 徐立本 129
贺江峰 车海平 陈增强 袁著祉 133
一种BP网络结构和学习参数自整定的学习算法 133
基于解释机器学习用于棉花常见病虫害的诊断 黄炜 熊范纶 137
4．逻辑（系统） 140
结合逻辑和面向对象范例的新系统GKD-OOPS 周立 吴泉源 140
基于三角范算子的加权模糊逻辑之研究 蔡经球 罗旭东 145
有限SLD-博弈树的分裂与化简 周生炳 戴汝为 151
灾害预报中定性推理与定量分析综合方法探讨 汤怡群 黄敏学 肖志华 158
背景（Context）的逻辑研究 邱桂友 白硕 162
限制理论的动态性 怀进鹏 李未 167
方思行 凌卫新 陆子强 172
基于ATMS的知识库维护系统——开放逻辑的一种实现方法 172
最小基非单调模态逻辑 唐日昆 刘叙华 176
5．推理（算法） 181
布尔算子Fuzzy逻辑中的不确定性推理 邓安生 刘叙华 181
类比推理抽象机的设计与模拟 王军玲 李波 赵沁平 189
基于分层规划的任务分解与传递 李岳峰 刘大有 唐海鹰 196
一种基于规则的逆向推理算法 王宽全 邱玉辉 201
模糊专家数据库管理系统的模糊推理语言（FIL）的设计 汪英 何新贵 206
基于因果网络的真值维护方法 徐越 程虎 208
增强型层次因果网 陆明 高济 214
基于框架的规则推理 马殿富 麦中凡 217
BLPF：一个模糊不确定推理模型 罗旭东 邱玉辉 220
机器人位姿矩阵的递归算法 王曦 225
面向感知和判断的性质坐标表示法 冯嘉礼 詹明 229
形象类比的内插和外推 徐冬溶 潘云鹤 233
6．智能系统及环境 238
DAI体系结构动态组织中的知识库拆分 刘大有 钟绍春 唐海鹰 张怡颖 238
基于Knonit的开放式面向对象IDSS开发环境 陈奇 俞瑞钊 史济建 246
知识库组织和管理的概念模型研究 鲁东明 何志均 252
分层约束网和面向对象的CSP 高济 颜海 258
一个基于手段间“支持”与“依赖”关系的多目标分析算法 264
——行为意图的分析与表示 刘和云 石纯一 264
PLC协处理器板的总线接口系统 仇小纲 尹宝林 271
基于高层定义构造的KBSE方法 应晶 吴朝晖 何志均 277
CSE：一种Client/Server模式的智能语言集成环境 283
王怀民 高洪奎 唐新怀 贾焰 283
Prolog/lisp协处理器对switch on-term指令的预取方法 龙翔 286
关于高层次决策智能支持环境的思考 李乃奎 290
智能多媒体研究 何华灿 刘西洋 艾丽蓉 294
浅析LDSS管理系统的实现 汪晓庆 296
一种面向对象的特定领域知识库建造工具OOKS 宋柔 王鑫 300
机器人装配知识库的设计和实现 陆玉昌 邵忠岿 林尧瑞 303
7．神经元网络 306
柔性信息处理的理论框架——神经场理论 张建 史忠植 306
一种基于自组织神经网络的多煤体信息检索方法 312
袁亮华 胡守仁 姚厉 胡九川 312
谈模糊逻辑系统与神经网络方法的互补性和结合性 李洪青 317
用三层网络逼近任何连续函数 李金艳 余英林 325
用神经网络方法进行暴雨预测 王文剑 330
神经网络模型的抽象与模拟 肖志华 黄敏学 汤怡群 336
亚像元级别的点目标跟踪技术 汤笑笑 李介谷 341
高阶神经网络、函数型连接神经网络及复值神经网络的 348
非线性关联性 张中 白硕 348
人工神经网络专家系统研究 崔志明 356
基于神经网络的气体识别的实现 郑岩 周春光 360
BP算法中样本特性及参数α,β两阶段动态调整的研究 364
董哲 郭东伟 周春光 364
提高神经网络推广能力的两种办法 赵矿所 黄厚宽 林钧清 368
基于解释的人工神经网络 陆玉昌 吴锐 372
运用人工神经网络预测人才需求量 林万昌 任军 胡国松 376
用于序列图像目标跟踪的Hopfield神经网络 赵宇明 李介谷 379
8．AI与教学 382
通用的智能程序设计教学系统模型GenPTS的研究与实现 曹奎 张树芬 382
ICAI中学生模块的设计与实现 鹤荣育 王建平 389
专家超文本及其在CAI中的应用 郝建华 396
学生认知评估模型SCEM和高等数学智能教学系统AMITS的 401
设计与实现 徐颂文 林建祥 401
从自然语言文本到数学建模的实验性问题求解系统的 408
设计与实现 庄超 邵群 林建祥 408
CAI课件的评价体系与模糊综合评价 周国华 黄文培 415
积木式窗口应用软件开发环境BIG及其应用 龚向东 420
人工智能教学新体系设想 童俯 424
ADA-CAI教学系统的设计与实现 刘云 427
智能教育评价决策系统 王慧芳等 431
9．AI在语言处理中的应用 434
一种基于关键词差别表分析法的自然语言提问系统 李雪琴 邱玉辉 高勇 434
一个基于概念体系模型的全文文献检索分类系统的 440
设计与实现 彭甫阳 何新贵 440
自动翻译电话与口语信息处理研究 朱学锋 俞士汶 446
基于合一算法的汉语句法分析联结模型 李莉 451
一个键词抽取专家系统的设计 窦竹梅 何新贵 彭甫阳 457
从田园指南文本中获取部位名词汇 张永奎 李红涛 460
TAG和汉语句子生成 常宝宝 郭炳炎 463
10．识别和控制 466
用遗传算法解调度问题 罗永平 陈恩红 蔡庆生 466
遗传算法在模糊控制中的应用 晏建军 何家保 472
基于知识的数据自动分布模型 杨莉 葛建新 何志钧 479
飞机目标的模糊识别研究 毛京红 488
基于知识的印刷简谱自动识别 孙卫东 王进 刘向东 491
CBR系统中的相似性计算 田盛丰 495
多层自组织特征映射网络模型及其模式分离能力分析 刘超远 李介谷 499
11．图和图象技术 506
线画图三维重构的解的研究 封举富 石青云 程民德 506
用于序列图象点目标检测的DP算法 赵宇明 李介谷 512
立体视觉的一种新方法 钟向群 夏涛 龚炜 石青云 519
可视能力和软件学习 王宇君 524
12．专家系统及其应用 528
基于知识的刺绣编程环境 胡滨 宋珂 陈世福 528
多Agent规划方法 钟绍春 刘大有 陈建中 李建民 535
一种改进的合同网协商模型 刘大有 钟绍春 陈建中 543
基于案例推理的虫害预测应用 熊江天 熊范纶 屠仁寿 551
输电网规划专家系统TRANSPES 高济 李见为 555
遗传算法及它在灌溉优化问题中的应用 杨卉翎 熊范纶 李淼 561
外测总体设计专家系统STPES的知识与推理模型 陈晓斌 成求青 566
航天测控数据实时专家系统图文处理的设计 赖卫昕 石宇良 572
知识工程与机器翻译系统的实现 赵铁军 578
线画图视点位置的研究 应宇铮 585
基于规则的任意区域填充算法及其在描绘自然景物中的应用 吴旻晖 宣国荣 587
高炉炉况诊断实时专家系统的研究和开发 周建常 郭宏飞等 590
一个具有双层推理模型的医学专家系统 舒忠正 596
一个基于知识的软件测试系统 朱瑞香 王娟 599
防洪专家系统知识库的建立 张新建 罗强等 602
基于知识的通信网设计专家系统 莫京梁 王景铭 606
主存数据库技术在专家数据库系统中的应用 王升 阳国贵 吴泉源 611
智能协商决策支持系统 魏小涛 梁炜伦 贺仲雄 615
一个ILES实现的卫星能源控制专家系统 迟岩 620
协作式驾驶员辅助专家系统 胡建平 白剑波 624
13．其它 631
多层时态覆盖诊断模型MTGSC 叶文 杨叔子 631
提高超文本的导游机制 黄波 何志均 635
在超媒体系统中建立用户模型的初步设想 郑援 王朴 641
定性仿真方法及其应用 薛冬白 石纯一 645
发现状态空间理论 李德毅 649
多Agent系统CMAC的活性分析 曹存根 祝明发 李国杰 656
基于本体论的知识共享和重用 杨国平 高济 余浩泽 662
一种知识进化模型 陈小平 蔡庆生 668
耦合通信：最小本体论交换的通信模式 671
吴朝晖 应晶 何志钧 M．M．Richter 671
PKDD：一个基于发现状态空间理论的KDD原型 史雪梅 674