| 超前检查和选择回溯策略 |
| |
| 引用本文： | 赵昕昕 叶澄清. 超前检查和选择回溯策略[J]. 计算机学报, 1993, 16(5): 352-360 |
| |
| 作者姓名： | 赵昕昕 叶澄清 |
| |
| 作者单位： | 杭州高等专科学校，浙江大学计算机科学与工程学系 杭州 310012，杭州 310027 |
| |
| 摘 要： | 本文提出了PROLOG语言的一种新的推理策略:超前检查和选择回溯算法-FTSB(Forword Testing and Selected Backtracking),FTSB的推理过程全部在产生变量约束的目标上进行,而不是在每个目标上进行,它采用超前检查的方法尽早放弃不可能成为解的约束,使回溯发生率下降,并用智能的方法选择回溯点和获得多重解。
|
| 关 键 词： | 超前检查 选择回溯 PROLOG语言 |
FORWARD TESTING AND SELECTED BACKTRACKING |
| |
| Zhao XinxinHangzhou High Technical School,Hangzhou Ye ChengqingDept,of Computer Science and Engineering,Zhejiang University,Hangzhou. FORWARD TESTING AND SELECTED BACKTRACKING[J]. Chinese Journal of Computers, 1993, 16(5): 352-360 |
| |
| Authors: | Zhao XinxinHangzhou High Technical School Hangzhou Ye ChengqingDept of Computer Science Engineering Zhejiang University Hangzhou |
| |
| Affiliation: | Zhao XinxinHangzhou High Technical School,Hangzhou 310012Ye ChengqingDept,of Computer Science and Engineering,Zhejiang University,Hangzhou 310027 |
| |
| Abstract: | This paper presents a new reasoning strategy,Forward Testing and Selected Backtracking(FTSB).FTSB's reasoning is executed at all variable generators,instead of all goals in a clause.At each generator,a forward testing is applied during unification to throw away such bindings that certainly can not appear in any solution as early as possible.It can decrease Backtracking occurrence,select Backtracking point accurately and get multiple solutions intelligently. |
| |
| Keywords: | Forward-testing selected backtracking logic programming. |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
