| CSP逻辑编程中一种约束评价的动态控制方法 |
| |
| 引用本文： | 方思行,陆子强.CSP逻辑编程中一种约束评价的动态控制方法[J].华南理工大学学报(自然科学版),1995,23(2):91-97. |
| |
| 作者姓名： | 方思行 陆子强 |
| |
| 作者单位： | 华南理工大学应用数学系 |
| |
| 摘 要： | 在一些约束满足问题（ＣＳＰ）中，使需要进行的约束评价的数目减到最低限度是一个十分重要的问题。本文提出了一种改进的回溯算法，它借助基于假设的正确性维护系统ＡＴＭＳ达到了上述目的。
|
| 关 键 词： | 程序设计 逻辑程序 约束满足问题 人工智能 |
A DYNAMIC METHOD OF CONTROLLING CONSTRAINT EVALUATION FOR THE CSP LOGIC PROGRAMMING |
| |
| Fang Sixing, Lu Ziqiang, Ling Weixin.A DYNAMIC METHOD OF CONTROLLING CONSTRAINT EVALUATION FOR THE CSP LOGIC PROGRAMMING[J].Journal of South China University of Technology(Natural Science Edition),1995,23(2):91-97. |
| |
| Authors: | Fang Sixing Lu Ziqiang Ling Weixin |
| |
| Abstract: | in certain constraint satisfaction problems, minimizing the total number of constraints evaluated is an important efficiency consideration. For this purpose, an improvedbacktracking algorithm is proposed, which is a combination of a traditional backtracking andan assumption-based truth maintenance system. |
| |
| Keywords: | s: constraint probleml logic programming backtracking /ATMS |
| 本文献已被 CNKI 维普 等数据库收录！ |
