【超前匹配和选择回溯策略-一种高效智能推理机制的研究和实现】.pdf
浙江大学研究生学位论文用纸P.摘要 本篇论文提出了一个prolog语言智能回溯算法:(FTSB)算法.与其它 回溯算法比较,(FTSB)有四大特点:一是它的推理过程全部在变量约束点上 而不象其它算法那样在每个目标上进行的.二是采用超前检查的方法尽早放 弃不可能成立的约束.使得回溯的次数大为减少,从而从根本上缓解了因回 溯的效率不高而引起的问题.并且超前检查过程可以用并行方式来进行,一 旦验证出在超前检查时为真而实际上并不是解,就用回溯来改变现有的约束 三是在目标失败时,回潮点的选择将不按naive回溯法,而是在那些引起本 次失败的目标中挑选出最靠近失败目标的目标作为回溯点,也就是智能回 潮．
浙江大学研究生学位论文用纸P.目录 第一章概论 51问题的提出 5Prolog 的(回i月 1回湘算法研究的近泛 3若于数抵依赖关系的回溯算法 1花于合一失败反因分折的回翔舞法 51超前匹配和送择回朔算法 第二年静志数据分折阁 5数抵依赖图 3 事实静志图 3规则静志图 第三章起前检查和送回潮 3超利检查 3选择回湖 3产生回溯的后因 3选择回涕过程 多重的的产生.
浙江大学研究生学位论文用纸P 第一意概论 1问题的提出.Proloy简介.Prolog 是柯尔B他 [Alain Co(merauer) 和他 在了赛大学Cuniversityof Marseille) 的助手在1922年 左古提出的一手种了致平的逻辑宁没计语含。一才件 逻辑程疗设计浮言从总体只率说就是Hom子勺遇 辑加比送间推理甘程。它所依赖的后则是由Robinscon 在1965年提生的消解后理[1。在传统的计每机语 言中,偏多一个我停就是完我一个算法。但在作 为逻辑程疗设计浮幸的Pr时中.一个程市包括 两个部分:一是逻辑部分.