论文部分内容阅读
人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的"支持集策略"是一种简单、高效、完备的实现定理证明和问题求解的好方法.
基于支持集策略实现定理证明及问题的求解
【摘 要】
：
人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的"支持集策略"是一种简单、高效、完备的实现
【机 构】
：
辽宁工学院,锦州医学院
【出 处】
：
辽宁工学院学报
【发表日期】
：
2004年3期
其他文献
降脂保肝胶囊中的主要药物何首乌和决明子中所含主要有效成分均为大黄素类及其甙类等蒽醌类化合物［１］。有文献报道何首乌所含蒽醌类及其葡萄糖甙有强心、抗寒、降血脂等效应［２］，而决
水利工程维修养护经费纳入部门预算管理,其项目支出预算是部门预算的重要组成部分,预算的编制、申报、审批应执行部门预算的有关规定。根据近几年水利工程维修养护经费预算的
对学生作文的评改是英语写作教学的重要环节，目前多数教师沿用传统的作品中心法有许多弊端，笔者提出新的作文评改方法，即过程中心法。通过不同方法的对比实验，结果证明新的方法对
实习生的心理素质在很大程度上影响着教育实习活动的效果和质量。文章从多个不同的角度，对实习生在音乐教育实习中的消极心理进行了分析，并提出了相应对策。
采用外加电场的方法,对固溶处理的FeMnSiCr合金的显微组织进行了试验研究.结果表明,在外加电场的作用下,FeMnSiCr合金的显微组织结构发生了明显的变化:晶粒细小,组织均匀,析
当前我国偏远山区农村中小学校的发展面临诸多困境，特别是在学校管理方面的问题尤为突出。近年来，位于济南南部山区的西营镇在学校管理方面进行了大胆改革，探索出一种符合山区特
经过近20年的深入研究和工程实践,我国碾压混凝土筑坝技术已有了很大的进步,其坝型、坝高、坝体体积和工程数量都已达到或超过目前世界先进水平.设计、施工技术在实践中逐步
针对建筑能耗逐年增加、能源状况日益紧张的现状,就热水采暖系统方面的节能问题作了初步探讨,认为在热水采暖方面节约能源尚有很大潜力.