目录

智能控制系统（特邀报告） 戴汝为

新的非线性系统预测控制及其应用 胡泽新　蒋慰孙

分布式人工智能进展（特邀报告） 吴益民　苏伯珙　石纯一

集合程序设计语言的实现 沈宁川

基于重写技术和面向对象结构的A要I基础语言ROOT 王怀民 陈火旺

论函数逻辑式语言 王卫　王树林

AI语言的基本计算机制 陈晓桦　陈火旺

知识程序设计语言的研究与进展 胡运发　陈火旺

KDOPS：基于LISP的人工智能语言 李京　冯玉琳 黄涛

一种新的逻辑程序自动模式识别方法 曹鹏　胡守仁

约束逻辑程序设计CLP 陈晓斌　刘凤岐

面向多推理者系统的逻辑框架—MRSL 王献昌

一种基于片段的时态逻辑及其应用 陈文丹　招兆铿

非单调逻辑的统一基础 林作铨

信念函数合成的证据独立性条件 许卓群　陆钟辉　凌小宁

二维的智能系统开发方法论—KBSDCP 吴朝辉　何志均

ESCER的求解机能 冯方方

染色体识别专家系统的实现 严宜理

通用规则型专家系统开发环境RESDE的设计与实现 赵军 施颖东

机器发现逻辑（特邀报告） 孙怀民

自动书本知识获取系统TKAS 周青　王树林　迟忠先

分类式学习搜索算法ID-PCLS及其并行化 蒋建东　俞瑞钊

类比方法的解题逻辑 徐立本

智能工具机系统结构 王朴　张晨曦　胡守仁

并行推理机RAP/LOP-VAM模拟实验系统和性能评价 高耀清等

智能软件分析工具ANAT的设计 肖育东

一个基于确定性分析的汉字分析器 候广坤 邓卫安

自然表格查询语言 张敬国 须德