论文部分内容阅读
本文详细介绍了获得智能回溯的两个基本方法:最小不一致演绎树和最大可合一约束集。逻辑程序求解失败时,这两种方法均可分析引起失败的原因,前者在与失败有关的子句空间内进行回溯,后者找出所有可能的回溯点,以便选择最佳回溯点进行回溯。
智能回溯的两大途径
【摘 要】
：
本文详细介绍了获得智能回溯的两个基本方法:最小不一致演绎树和最大可合一约束集。逻辑程序求解失败时,这两种方法均可分析引起失败的原因,前者在与失败有关的子句空间内进
【机 构】
：
南京工学院
【出 处】
：
计算机工程与设计
【发表日期】
：
1989年3期
其他文献
自发脑出血是高发病率、高病死率、高致残率的的疾病，而脑出血病例中多合并有多器官功能障碍，明显增加了病死率和致残率。早发现、早诊断、早治疗MODS对减少死亡、减轻伤残、改
通过分析我国乡镇企业环境问题和探讨乡镇企业环境污染的主要原因，指出防治乡镇工业污染应从提高全社会环境意识、统一规划、加强乡镇企业环境综合整治，转变经营思想，台程布局、
供电企业在主动防范法律风险的过程中,对法律风险进行管理则会提高其防范风险的效率。防范法律风险,企业应在自身对风险的管理上下功夫。法律风险管理的探索2007年,国家电网
RUP(Rattonal Unified Process)是由Rational软件公司开发和营销的一种软件工程过程,它提供了如何在开发组织中严格分配任务和职责的方法.PSP是软件工程师个体软件过程改进的
由于人类平均寿命的增长和其它眼病治愈率的提高，白内障已成为我国致盲的首要因素。根据我院从1994年4月到2002年2月白内障住院病人共240人384只眼的调查，其结果如下：白内障的发
对于分布式计算机系统，由于任务到达的随机性和各台处理机处理能力上的差异，系统常常会发生处理机闲访并存的情况。必须采取有效手段，对已分配给各台处理机的任务进行重新调整、
提出了一种局部光顺NURBS曲线的算法.算法建立在重复删除和插入节点的过程中,这个重复删除和插入的节点通过一个光顺准则自动选择.此算法自动找出NURBS曲线需要修改的那一点,
<正>在上海市徐汇区,近一年来陆续出现了一幢幢橙色外观的小楼。楼里,有老人们在喝茶、聊天;有全职妈妈带孩子参加亲子读书活动;有儿童在志愿者的辅导下写植物生长日记……原
不同艺术形式之间的相互渗透已经成为当下艺术发展的趋势。各种艺术门类之间往往会有或多或少的关联。当代商业标志设计为了迎合消费者的审美,时常抄袭欧美标志设计的风格,缺
第一章 总则第一条 本会中文名称：上海市造船工程学会（以下简称本会）。英文名称：THE SIIANGHAI SOCTETY OF NAVAL ARCHITECTS AND MARINE ENGINEERS，缩写：SSNAME。本会会徽图形总体