目录 1
智能控制系统（特邀报告） 戴汝为 1
新的非线性系统预测控制及其应用 胡泽新 蒋慰孙 9
分布式人工智能进展（特邀报告） 吴益民 苏伯珙 石纯一 17
集合程序设计语言的实现 沈宁川 25
基于重写技术和面向对象结构的A要I基础语言ROOT 王怀民 陈火旺 35
论函数逻辑式语言 王卫 王树林 45
AI语言的基本计算机制 陈晓桦 陈火旺 53
知识程序设计语言的研究与进展 胡运发 陈火旺 63
KDOPS：基于LISP的人工智能语言 李京 冯玉琳 黄涛 71
一种新的逻辑程序自动模式识别方法 曹鹏 胡守仁 79
约束逻辑程序设计CLP 陈晓斌 刘凤岐 87
面向多推理者系统的逻辑框架—MRSL 王献昌 97
一种基于片段的时态逻辑及其应用 陈文丹 招兆铿 107
非单调逻辑的统一基础 林作铨 115
信念函数合成的证据独立性条件 许卓群 陆钟辉 凌小宁 127
二维的智能系统开发方法论—KBSDCP 吴朝辉 何志均 135
ESCER的求解机能 冯方方 143
染色体识别专家系统的实现 严宜理 155
通用规则型专家系统开发环境RESDE的设计与实现 赵军 施颖东 167
机器发现逻辑（特邀报告） 孙怀民 175
自动书本知识获取系统TKAS 周青 王树林 迟忠先 189
分类式学习搜索算法ID-PCLS及其并行化 蒋建东 俞瑞钊 195
类比方法的解题逻辑 徐立本 203
智能工具机系统结构 王朴 张晨曦 胡守仁 211
并行推理机RAP/LOP-VAM模拟实验系统和性能评价 高耀清等 221
智能软件分析工具ANAT的设计 肖育东 229
一个基于确定性分析的汉字分析器 候广坤 邓卫安 239
自然表格查询语言 张敬国 须德 247