知识工程进展 1990 中国第三届知识工程研讨会论文选集PDF电子书下载

目录 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