-
dealing with satisfiability and n-ary csps in a logical framework
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 794
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
we investigate in this work a generalization of the known cnf representation that we call general normal form (gnf) and extend the resolution rule of robinson to design a new sound and complete resolution proof system for the gnf. we show that by using a cardinality operator in the gnf we obtain the new representation cgnf that allows a natural and efficient boolean encoding for n-ary finite discrete extensional csps. we prove that the space complexity of a csp encoded in thecgnf is identical to its space complexity when it is expressed in the classical csp representation. we prove that the generalized resolution rule applies for the cgnf encoding and introduce a new inference rule whose application until saturation achieves arc-consistency in a linear time complexity for n-ary csp expressed in the cgnf encoding. two enumerative methods for solving csp instances encoded in this boolean framework are studied: the first one (equivalent to mac in csps) maintains full arc-consistency at each node of the search tree while the second (equivalent to fc in csps) performs partial arc-consistency on each node. both methods are experimented and compared on some instances of the ramsey problem, randomly generated 3/4-ary csps and promising results are obtained. we also adapted the notion of clause learning defined in sat for thecgnf encoding. finally, we show how the proposed inference rule can be used to achieve path-consistency in the case of binary csps encoded in cgnf, and how it can be used to enforce strong path consistency when it is combined with the generalized resolution rule.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
مقایسه ارزش تشخیصی سیتولوژی حین عمل جراحی و برش انجمادی در بدخیمی های پستان
-
ایجاد حس امنیت در مراکز نگهداری کودکان بی سرپرست و بدسرپرست
-
تحلیل هندسی تاقدیس زوباران و شکستگی های مرتبط با آن
-
thermal characteristics in asymmetrically heated channels fully filled with brass beads
-
scallop shell coated fe2o3 nanocomposite as an eco-friendly adsorbent for tetracycline removal
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
تأثیر اندازه شرکت بر رابطه بین مدیریت سرمایه در گردش و سودآوری شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی وضعیت نگرش دینی و رفتار باروری در زنان مراجعه کننده به مراکز بهداشتی و درمانی تحت پوشش دانشگاه علوم پزشکی شهید بهشتی تهران
-
ارتباط معنویت و سیاست در گزاره های اسلامی
-
رویکردی مبتنی بر یادگیری برای بهبود تامین منابع در محیط رایانش ابری
-
تاثیر الگوی ارزشیابی کیفی - توصیفی بر بهبود فرآیند یاددهی – یادگیری دانش آموزان پسر کلاس دوم ابتدایی شهرستان گتوند
سوال خود را در مورد این مقاله مطرح نمایید :