序言（Ⅰ）第二届全国知识工程研讨会会议组织机构 1
（Ⅱ）关于《知识工程进展（1988）》文集的出版说明 1
目录基础研究 1
1．类型理论 1
人工智能的新工具 1
目录基础研究ALT语言的形式定义及应用（特邀报告） 李未 1
2．顺序执行PROLOG的项流模型（30分钟报告） 胡运发 15
3．外推推理诊断机的理论模型（30分钟报告） 肖育东 26
4．关于常识的研究（15分钟报告） 冯玉琳 36
5．0～3型（实）可问问题，归类函数与判别条件（15分钟报告）相利民、张一立 42
6．采用面向对象的语义联系模型为数据和知识建立统一的模型（15分钟报告） 古新生 49
7．多模板 58
多客体匹配算法的改进：一种用于产生式系统的优化匹配算法（15分钟报告） 金晔、许卓群 58
8．推进知识获取方法学的研究（专题报告） 陆汝钤等 66
知识获取 66
9．一种表示、演绎和获取历史性知识的知识结构（15分钟报告） 唐常杰等 76
10．知识获取工具ENABLE（15分钟报告） 黄春飞、刘大有 84
11．“被告知”学习系统LSBTWA的研究和实现（15分钟报告） 余波 90
以知识为基础的系统 97
12．综合各种模型的专家系统设计（特邀报告） 戴汝为、王珏 97
13．基于知识的模拟电子设备故障诊断（15分钟报告） 陈振羽等 106
14．任务驱动的专家系统控制结构（15分钟报告） 田盛丰 114
15．专家系统外壳TTY（15分钟报告） 王永庆等 120
16．一种基于知识的智能控制器（15分钟报告） 李士勇等 126
17．人像生成专家系统PPES（15分钟报告） 庄庆雨、吴建敏 130
专家系统开发工具与环境 138
18．专家系统构造工具TREE（30分钟报告） 冯丹 138
19．一个新一代基于知识的系统开发环境（15分钟报告） 慈林林、刘毅之 146
20．一个ICAI骨架系统SSICAI（15分钟报告） 相利民、张一立 155
21．专家系统开发工具PEST的设计与实现（15分钟报告） 陈世福等 164
知识库系统 172
22．时态推理数据库及其实现方法（30分钟报告） 钱伟、招兆铿 172
23．模糊信息检索（15分钟报告） 张晏青 181
24．知识库新的组织结构及相应推理算法的研究（15分钟报告） 李英浩 187
25．经济预测知识库的开发（15分钟报告） 丁智善 194
推理 201
26．目标网：多模块系统的任务分配和模块调度（30分钟报告） 王晖等 201
27．层次结构图上元级目标级结合的IPT系统（15分钟报告） 唐锡南、冯玉琳 208
28．一个非匹配式推理的医学专家系统：WXES（15分钟报告） 洪山本等 214
29．专家系统中不确定性的模糊数学处理方法（15分钟报告） 刘锡荟等 221
30．问题求解策略与基于理解策略的概念模拟模型实例（15分钟报告） 马志方等 227
31．两级不确定因子及其在水稻杂交后代性状预测中的应用（15分钟报告） 陈剑等 233
32．“深度推理”与故障诊断专家系统（15分钟报告） 白光、张凤翥 240
33．围岩类别的模糊综合评判中不确定性推理（15分钟报告） 莫元彬、张清 246
34．水下电子反对抗专家系统的不精确推理（15分钟报告） 王田苗等 257
自然语言处理与机器翻译 264
35．到知识系统中来：机器翻译综合评价（专题报告） 李应潭 264
36．多义词判别的概念化方法（15分钟报告） 王明炘 282
37．书面汉语中的词链现象和自动分词（15分钟报告） 黄祥喜、刘大有 287
38．语义的情境分析（15分钟报告） 王野翊、陆汝钤 293
人工智能语言 300
39．函数语言与逻辑语言两者结合之动机与技术（专题报告） 刘椿年、孙怀民 300
40．一个多功能的人工智能语言系统MC—LEL（30分钟报告） 李犁 307
41．Tuili编译系统的设计与实现（15分钟报告） 陶葆兰等 316
42．元级程序设计技术研究（15分钟报告） 苏金树等 323
43．逻辑程序设计语言中的元级控制（15分钟报告） 徐凯、章萃 331
分布式知识工程 338
44．分布式知识库系统的结构设计和知识传输机制的实现（30分钟报告） 王克宏、方堤 338
45．分布式知识工程研究（Ⅰ）（30分钟报告） 陆汝钤、赵致琢 347
中国地质大学（武汉）计算机科学系简介 357