الگریتم سیستم انرژی - Artificial Intelligence

Salam2012 · ۰۱-۱۰-۱۳۹۳, ۰۱:۴۲ قبل از ظهر

سیستم انرژی (Energy System) الگریتمی است که نویسنده از سال 2008 تا 2014 بر روی آن تحقیق کرده است. این الگریتم قادر است بسیاری از مسائلی را که از دیر باز به عنوان مسائل NP-Completness یا NP-Hardness شناخته می شدند در مدت زمان چند جمله ای و حتی در مواردی سهموی حل کند. نویسنده در تلاش است نتایج این تحقیقات را در نشریات بین المللی چاپ کند.

این الگریتم یک الگریتم تخمینی نمی باشد به این معنا که همیشه در یک مدت زمان چند جمله ای به جواب می رسد به عبارت دیگر رسیدن به جواب را Garantee می کند. الگریتم های انرژی سیستمی که حتی یک مسئله ی خواص را حل می کنند می تواند دارای تنوع زیادی باشند.

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

:

Parallel Thought
تفکر موازی

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

Intertwined Compact Computation
محاسبات تنیده فشرده

محاسبات فشرده یعنی تلاش برای انجام محاسباتی محدود که به انجام محاسباتی نا محدود منجر می شود. مثلا فرض کنید دو بیت انرژی وجود دارد اگر مقدار انرژی هر بیت نشان دهنده ی وزنی از صفر ها و وزنی از یک ها باشد حاصل ضرب این دو بیت برابر است با وزن صفر ها و یک ها در حالتی که تمام آن بیت ها با یک دیگر AND می شدند. در این روش نسبت تعداد یک ها به تعداد صفر ها ذخیره می شود اما شاخص خاصی برای شناسایی و جداسازی صفر و یک هایی که فشرده شده اند وجود ندارد بنابر این راه حل های مختلف در هم تنیده می شوند به همین دلیل این روش را محاسبات فشرده - درهم تنیده می نامیم.

Energy System
سیستم انرژی

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

تحقیقات فعلی:

در حال حاضر چند الگریتم برای حل مسائل Map Coloring و Graph Coloring و 3Sat و K Sat وجود دارد و نویسنده قصد دارد نتایج این تحقیقات را منتشر کند. اما یک مشکل این است که هر چند ایده های زیادی وجود دارد اما هنوز یک اثبات ریاضی دقیق برای همگرایی یک الگریتم کلاسیک ساده وجود ندارد. بنابر این نویسنده از کسانی که علاقه مند به همکاری در زمینه ی اثبات همگرایی الگریتم هستند دعوت به همکاری می کند بدیهی است در صورت همکاری های مشترک مقالات علمی به صورت تیمی منتشر شوند.

جهت دریافت اطلاعات بیشتر و سوالات یا پیشنهاد جهت توسعه ی تحقیقات در زمینه انرژی سیستم می توانید از آدرس ایمیل یا شماره تلفن زیر استفاده کنید:

]Icarus.2012@yahoo.com
09122284758
کاوش حواله دار

Salam2012 · ۰۱-۲۳-۱۳۹۳, ۱۲:۱۸ قبل از ظهر

سلام

از زمان ارسال این تاپیک تاکنون تغیراتی در الگریتم ایجاد شده و الگریتم به الگریتم های دیگری ساده سازی شد. در واقع آخرین شباهت های ضعیف خدش با شبکه های عصبی را از دست داد و از فضای پیوسته به فضای گسسته منتقل شد. در حال حاضر این الگریتم یک الگریتم جستجوی محلی برای مسئله ی Boolean Satisfibility هست و من هنوز راضی نیستم و فکر می کنم که می توان پیچیدگی الگریتم را باز هم کاهش داد و می خام اون رو به یک جستجوی محلی بر روی نوع خاصی از Maximum Clique که حاصل ساده سازی یا Reduction مسئله ی Boolean Satisfibility یا 3-Sat یا مسائل دیگر هست تبدیل کنم.
آیا کسی هست که در زمینه ی اثبات ریاضی الگریتم های LS تخصص داشته باشه؟؟؟؟؟؟

Salam2012 · ۰۱-۲۳-۱۳۹۳, ۱۲:۲۵ قبل از ظهر

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

Salam2012 · ۰۲-۷-۱۳۹۳, ۱۲:۱۷ بعد از ظهر

آیا کسی می تونه در مورد اثبات همگرایی الگوریتم ها من رو راهنمایی کنه؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟؟ ؟؟؟؟؟؟؟؟