《知识工程进展 1990 中国第三届知识工程研讨会论文选集》求取 ⇩

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