کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
497135 | 862877 | 2008 | 7 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
An explanation-based tools for debugging constraint satisfaction problems
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نرم افزارهای علوم کامپیوتر
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
This paper describes an explanation-based tools for constraint programming system. These tools provide to the user the conflicts when it raise during solving process. Our tools simulate constraint additions and/or constraint relaxations without any propagation; it also determine if a given constraint belongs to a conflict and it provide diagnosis tool (e.g. why variable vv cannot take value val?). With more user-friendly representation of conflicts and explanations, our proposed tools give better problem understanding to the user. We prooved that the proposed tools are efficient, and while there is no debugging system that allow the user to interact with the solver, our explanation-based tools could be used for many other applications.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Applied Soft Computing - Volume 8, Issue 4, September 2008, Pages 1400–1406
Journal: Applied Soft Computing - Volume 8, Issue 4, September 2008, Pages 1400–1406
نویسندگان
Samir Ouis, Mohamed Tounsi,