بهبود محرمانگی در مسایل ارضای محدودیت توزیع شده

مساله ارضای محدودیت توزیع شده (DisCSP) یک مساله ارضای محدودیت است که متغیرها و محدودیت ها بین چندین عامل توزیع شده اند. یکی از مهمترین مسایل در DisCSP محرمانگی است :ممکن است عامل ها نخواهند که متغیرها، محدودیت ها و دامنه هایشان را با دیگران به اشتراک بگذارند تمایل داشته باشند که تا حد ممکن است آنها را محرمانه نگه دارند. برای بهبود محرمانگی محدودیت در DisCSP از محدودیت های شناخته شده جزیی( (PKC استفاده می کنیم که در آن محدودیت ها محرمانه می مانند و به صورت جزیی برای عامل ها شناخته شده اند. در این مقاله الگوریتم بررسی پیشروی همگام مبتنی برگزاره نادرست AFC-ng) )را که از دسته الگوریتم های بررسی پیشروی همگام است بهبود میبخشیم. به منظور بهبود این الگوریتم از نظر محرمانگی، استراتژی دو فازی برای مدل محدودیت شناخته شده جزیی را با الگوریتم AFC-ng ترکیب کرده ایم و آن را الگوریتم بررسی پیشروی همگام مبتنی برگزاره نادرست دو فازی (AFC-ng2) نامیدهایم. آزمایشات ما نشان دادند که AFC-ng2 کارایی بیشتری نسبت به الگوریتم های محرمانه پیشین مانند الگوریتم برگشت به عقب ناهمگام دو فازی (ABT-2ph) و الگوریتم بررسی پیشروی توزیع شده دو فازی (DisFC-2ph) دارد.

کلیدواژه ها:

سیستم های چندعامله ، هوش مصنوعی توزیع شده ، ارضای محدودیت توزیع شده ، الگوریتم های برگشت به عقب همگام و ناهمگام ، محرمانگی