检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机工程》2005年第18期183-185,共3页Computer Engineering
基 金:国防科技预研基金资助项目;国家教育部高等学校骨干教师资助计划项目(GG-810-90039-1003)
摘 要:回溯是一种获得目标所有可能解的良好方法。然而不恰当地使用回溯,可能导致系统效率降低,时空开销增大,因此必须设置相应机制,仔细控制回溯过程。VisualProlog的控制谓词,即失败谓词fail和否定谓词not,与截断机制,包括静态截断机制和动态截断机制,构成了完整的目标搜索求解控制机制,可以实现对搜索过程的仔细控制,减少不必要的回溯。该文在考察VisualProlog回溯机制和截断机制的基础上,通过实例,对其静态截断机制和动态截断机制进行了详细分析,从而揭示回溯机制和截断机制的本质特性和应用机理。The backtracking is a good approach for obtaining all the possible solutions. However, the backtracking improperly used might lead to the reduced efficiency of a system and the augmented overheads in running time and memory required. Hence, it is necessary to setup a related mechanism to carefully control backtracking courses. The full control mechanism of goal-searching and problem-solving is composed of both the control predicates in Visual Prolog, or predicates fail and not, and the cut mechanisms, including those of the static and dynamic cut, and can be utilized for controlling exactly the goal-searching courses and for reducing unnecessary backtracking. On the basis of exposing the backtracking mechanism and the cut mechanism in Visual Prolog illustrated with a group of instances, both the static and dynamic cut mechanisms are investigated in detail. Thus the essential characteristics and fundamentals of applications of the backtracking mechanism and that of the cut mechanisms are demonstrated.
关 键 词:VISUAL PROLOG 逻辑程序设计 编程语言 专家系统
分 类 号:TP182[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.33