【摘 要】
：
介绍了一个命题逻辑定理自动证明专家系统的设计与实现。对系统的整体结构，其中基于问题分解和图搜索策略的反向推理机、知识的表示与管理等关键部分所用算法与技术进行了重点
论文部分内容阅读
介绍了一个命题逻辑定理自动证明专家系统的设计与实现。对系统的整体结构，其中基于问题分解和图搜索策略的反向推理机、知识的表示与管理等关键部分所用算法与技术进行了重点论述。该专家系统已在ＭＬＣＡＩ中得到应用。
A propositional logic theorem is introduced to automatically prove the design and implementation of expert system. The whole structure of the system, including algorithms and techniques based on problem decomposition and reverse search engine of graph search strategy, representation and management of knowledge, are discussed in detail. The expert system has been applied in MLCAI.
其他文献
作为住房和城乡建设部行业标准《民用建筑氡防治技术规程》JGJ / T 349-2015的参编人员，对该标准的编制背景、内容要点进行了简要介绍，特别是城乡建设规划中的氡防治、土壤氡类
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
本刊讯2012年9月12日,位于厦门市海沧新阳工业区的厦门新阳纸业有限公司一期年产6万t高档生活用纸项目正式投产。新阳纸业由省属国企、市属国企和区属国企共同打造,是省、市
通过对商品材、农民自用材、人造板用材及进口材等的测算,确定出全国2000～2002年木材总供给,其中2002年为2.01亿 m~3。同时,从工业与建筑用材、农民自用材及出口几个方面测算
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
西部要实现山川秀美的宏伟目标,需要对现行的林业管理体制、投入机制、组织结构等进行—系列的重大改革和调整。而改革和调整的中心应重点围绕解决西部林业生态建设的动力问
The influence of seasonal variation, indole-3-butyric acid (IBA) and type of cuttings was examined on induction and growth of adventi- tious roots in Bambusa nu
以广西竹山红树林群落为研究对象,调查了红树林群落类型、密度、高度、覆盖度、更新层等,研究表明广西竹山红树林群落从内滩到外滩的演替规律为:桐花树、桐花树+白骨壤群丛→
采用电弧离子镀技术在45#钢衬底表面沉积了TiN薄膜。用显微硬度计测试了薄膜的硬度,用球—盘式摩擦磨损试验机评价了在不同测试条件下(干摩擦,水润滑,油润滑)TiN薄膜的摩擦学