CASIA OpenIR  > 毕业生  > 硕士学位论文
高级产生式系统的一些理论问题
钱国正
学位类型工学硕士
导师张洪
1981-06-01
学位授予单位中国科学院自动化研究所
学位授予地点中国科学院自动化研究所
学位专业计算机应用技术
关键词布尔表达式
摘要本文通过介绍"布尔表达式简化系统"(以下简称BESS --BooLEAN EXPRESSION SIMPLIFICATION SYSTEM)阐明 一种高级产生式系统的一些理论基础. 本文首先概述了一般的经典产生式系统.为在理论上 深入研究,我们尝试按统一的结构理论来给出产生式系统 的严格的数学定义,并引出若干有用的结果.在叙述产生 式系统的优越性的同时,也指出了现有的经典产生式系统 的局限性.随着人工智能研究的迅速发展和实际系统提出 的越来越高的要注,有必要发展一种高级产生式系统.本 文接着结合BESS系统,详细地论述了这种必要性.文章 的这一部分,先叙述了机床电路设计所遇到的逻辑化简问题 ,由此引出了布尔表达式的准范式定义及 准范式下最简 式的定义.然后,根据产生式系统的原理,建立布尔表达 式简化的产生式系统.由于该系统的复杂性,仅仅用现有 的经典产生式系统的概念和方法是远远不够的.为此,我 们提出一些新概念和理论,与此同时发展起一种高级的产 生式系统.文章详细地从理论和实际的BESS这两个方面 论述了这种高级产生式系统和经典产生式系统不同之处. 高级产生式系统优于经典产生式系统主要表现在以下 几个方面.第一,它是混合的产生式系统,即是可交换和 不可交换两种经典方式混合而成的系统.这样就大大地缩 小了搜索空间.第二,它的产生式是模式产生式,即在产 生式中引入高階知识.这样使系统反映了更深刻的实际内 容。第三,它是通过假设匹配手段来进行的.第四,在它 的控制决策中引入了多种分解和分层处理的思想.即对数 据库,产生式集,假设等进行分解和分层处理.以缩小搜 索空间,提高系统的效率.第五,它是用了多个修正条件 即采用了主辅终止条件来加速过程的终止. 本文最后给出了BESS系统的全部流程图和相应的 LISP程序.附录部分讨论了建立一个可用于实际工程目 的的"机床控制电路自动设计"专家系统.它的核心部分 之一,即布尔表达式的化简,可以由BESS承担.该系统 的第一部分"基本电路生系统"的LISP程序及计算实例 已经调试连过.第三部分"竞争冒险检查及纠正"的结构 框图已经给出.附录的最末部分是本系统BESS的全部 LISP程序在本所ALPHA机上的运行结果,并给出了若干 计算例题.结果表明系统是可行的理论是正确的.
馆藏号XWLW32
其他标识符32
语种中文
文献类型学位论文
条目标识符http://ir.ia.ac.cn/handle/173211/7100
专题毕业生_硕士学位论文
推荐引用方式
GB/T 7714
钱国正. 高级产生式系统的一些理论问题[D]. 中国科学院自动化研究所. 中国科学院自动化研究所,1981.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[钱国正]的文章
百度学术
百度学术中相似的文章
[钱国正]的文章
必应学术
必应学术中相似的文章
[钱国正]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。