一个命题逻辑机器证明专家系统的研究与开发

来源 :莱阳农学院学报 | 被引量 : 0次 | 上传用户:mengwb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了一个命题逻辑定理自动证明专家系统的设计与实现。对系统的整体结构,其中基于问题分解和图搜索策略的反向推理机,知识的表示与管理等关键部分所用算法与技术进行了重点论述。该专家系统已在MLCAI中得到应用。
其他文献
作为高强度变形镁合金研究的基础工作,较系统研究了ZK60镁合金的铸态组织.光学显微分析表明,铸态组织中存在很明显的枝晶;有相当数量的共晶组织沿晶界或枝晶边界断续分布.差
房地产开发项目管理中重要的各个环节上存在的问题及改进和提高的事项
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
本文从人性化设计角度重新考虑商务饮水机设计,详细剖析人性化设计理念在商务饮水机设计中的应用方式,并试图在造型、色彩、材料与功能方面提出人性化设计规则。
为获得共生特性好的乳酸菌和酵母菌,从额尔古纳河流域地区采集了5份当地列巴面团样品,经分离获得菌株30株,其中包含14株乳酸菌和16株酵母菌。利用全自动微生物分析系统鉴定菌
随着生活水平的提高,人们希望拥有更加美观的修复体;随着口腔修复学的不断发展,将烤瓷技术与整铸可摘义齿相结合的这种新型的工艺日益被人们所重视。我们课题组开发研制了国产新
"一带一路"是促进我国和周边国家相互交流与合作发展的有效战略平台,中国基于这一平台所推进的"一带一路"是以对外金融投资为主要方式,这就必然要面对各种风险因素给战略实施
“十二寡妇征西”的故事,多少年来曾以各种不同的戏曲形式流行于舞台上。在这个洋溢着浪漫主义色彩的题材里面,通过杨家将反抗外族侵略斗争的那种前扑后继、凛然无畏的英雄
2020年1月14日,由中国国务院新闻办公室、缅甸外交部、中国外文局、中国驻缅甸大使馆共同主办,当代中国与世界研究院、缅甸战略与国际问题研究所、缅甸战略与国际问题研究中
文章从分析欧洲浪漫主义后期作曲家胡戈·沃尔夫的艺术歌曲入手,着眼于其艺术歌曲中情感表达方式的特点,分两大部分较为详细地论述了沃尔夫艺术歌曲中情感张力的具体表现形式与