رضا رهایی مهر - فوق لیسانس مهندسی نرم افزار
احمد عبدالله زاده بارفروش - دانشیار دانشگاه امیرکبیر

دراین مقاله الگوریتمی استدلالی برای حل مساله بن بست ارائه گردیده است الگوریتم های موجود حل بن بست در پی پیشگیری صرف یا کشف و رفع آن بعد از وقوع بن بست هستند دراین الگوریتم برخلاف پروتکلهای رایج با استفاده از کنترلگرهای فازی در دو بخش با این مساله روبرو می شویم در بخش اول سعی می شود تا احتمال وقوع بن بست کم شود ودر بخش دوم بن بست احتمالی بوجود آمده کشف و رفع می گردد این الگوریتم ازت رکیبی از منطق فازی و منطق ارسطویی استفاده می کند بدین ترتیب که درهر بخش تعدادی قوانین منطقی تعریف می شود سپس این قوانین با الگوریتمی مشابه با کنترلگرهای ممدانی برای کنترل بن بست بکارگرفته می شود شبیه سازی و آزمایشات انجام شده برروی آن نشان میدهد که این الگوریتم سهمزیت عمده دارد.

تراکنش، بن بست، جلوگیری از بن بست، کشف بن بست، فازی، کنترلگرهای ممدانی