Visual Prolog截断机制对回溯的作用机理

• 作者: 华继学 徐彤 狄博 雷英杰
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Visual Prolog 逻辑程序设计 编程语言 专家系统
• 年，卷（期）: 2005,（18）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 183-185
• 页数: 3页
• 分类号: TP182
• 字数: 3492字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.18.066

摘要

回溯是一种获得目标所有可能解的良好方法.然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程.Visual Prolog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯.该文在考察Visual Prolog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷英杰	空军工程大学导弹学院	214	2322	24.0	35.0
2	华继学	空军工程大学导弹学院	33	209	10.0	13.0
3	徐彤	空军工程大学导弹学院	12	74	4.0	8.0
4	狄博	空军工程大学导弹学院	13	126	4.0	11.0