J4 ›› 2010, Vol. 48 ›› Issue (03): 444-448.
Previous Articles Next Articles
WANG Hongmei1,2, LI Hongbo2, LI Zhanshan2
Received:
Online:
Published:
Contact:
Abstract:
In view of constraintbased configuration problems solved by the classic algorithms which are used to solve constraint satisfaction problems, the authors proposed the notion of model correctness, then analysed the properties of acycle configuration, gave a backtrackfree search algorithm for solving configurations, used the arc consistency technologies to delete the redundant values from the domains of related variables so as to guide the users to configure products, and proved the correctness of the algorithm. Finally, the two popular algorithms to compute the explanations were applied to acycle configurations.
Key words: constraint satisfaction problem, configuration problem, model correctness, arc consistency, explanation
CLC Number:
WANG Gong-Mei, LI Hong-Bo, LI Tie-Shan. On Acycle Configuration Problems[J].J4, 2010, 48(03): 444-448.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: http://xuebao.jlu.edu.cn/lxb/EN/
http://xuebao.jlu.edu.cn/lxb/EN/Y2010/V48/I03/444
Cited