- 作 者：许卓群主编
- 出 版 社：武汉：中国地质大学出版社
- 出版年份：1990
- ISBN：7562504458
- 标注页数：255 页
- PDF页数：259 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源259 ≥255页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目录 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