در این پایان نامه به بررسی قدرت محاسباتی ماشین های تورینگ فازی می پردازیم. موضوع اصلی ادعای ویدرمن در خصوص فراتر بودن قدرت محاسباتی ماشین های تورینگ فازی نسبت به ماشین های تورینگ معمولی است. این ادعا را از دیدگاه های مختلف مورد بررسی قرار می دهیم. علاوه بر این برخی خواص مقدماتی مورد مطالعه در نظریه محاسبه پذیری برای ماشین های تورینگ معمولی را به حوزه ی ماشین های تورینگ فازی توسعه خواهیم داد. در...

برای بررسی محاسبه پذیری و پیچیدگی محاسباتی کوانتومی، نیاز به ارائه مدلی از رایانش کوانتومی است که می توان به مدل های ماشین تورینگ کوانتومی، مدار کوانتومی و ماشین تورینگ کوانتومی تعمیم یافته اشاره کرد. در مقایسه مدل های تورینگ کوانتومی و تورینگ کوانتومی تعمیم یافته، مشاهده می شود که ماشین تورینگ کوانتومی نمی تواند برای مسائل np-کامل نسبت به مدل های کلاسیک محاسباتی، تسریعی در حد نمایی ایجاد کند د...

چکیده ندارد.

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

در آزمایش ذهنی بازی تقلید، آلن تورینگ استدلال می کند که می توان هوشمندی را به هرماشینی که این آزمون را با موفقیت از سر بگذراند، نسبت داد. یک اعتراض به معیارتورینگ، اعتراض لاولیس یا اعتراض مشهور به اراده آزاد است. این اعتراض بیان می کندماشین هیچگاه نمی تواند فراتر از انتظار برنامه نویسش عمل کند و در نتیجه هیچ گاههوشمند نخواهد بود. در این مقاله، ابتدا این اعتراض را در صورت کلاسیک آن بررسی وپاسخ ت...

با پیشرفت علم و پیدایش کامپیوترهای کوانتومی، امنیت سیستم‎های رمزنگاری کنونی به خطر می‎افتد، زیرا این سیستم‎ها بر پایه مفاهیم ریاضی از جمله تجزیه یک عدد به عوامل اول آن طراحی شده‎اند که با استفاده از کامپیوترهای کوانتومی می‎توان این مفاهیم را در زمان چندجمله‎ای حل کرد. بنابراین به نوع جدیدی از رمزنگاری نیاز است تا جایگزین سیستم‎های رمزنگاری کنونی شود که امنیت آن بر پایه مفاهیمی باشد که در زمان چ...

الگوسازی از ذهن و ارائه مدلی که قابلیت های پیچیده ذهن را داشته باشد یکی از افق های توانمندی بشر است. اگرچه عمده تلاش ها در این زمینه بیش تر از نیم قرن سابقه ندارد و با دستاوردهای مسحورکننده خود یکی از پدیده های شگفتی ساز شده است، اما هر چه این رویا رنگ واقعیت بیش تری به خود می گیرد مشکلات بزرگ تری را بر سر راه نظریه پردازان هوش مصنوعی قرار می دهد. دو مسئله عمده ای که در این زمینه در مقاله حاضر ...

تئوری شکل‌گیری الگوها از طریق انشعابات تورینگ نقش مهمی در بررسی دلایل ظهور الگوهای فضایی منظم و پیش‌بینی ظهور آن‌ها در سیستم‌های زیستی، شیمیایی و فیزیکی دارد. از آنجا که پیچیدگی حاکم بر سیستم‌های اکوژئومورفیک (ژئوسیستم)، پیش‌بینی پاسخ آن‌ها را در برابر آشوب‌ها بسیار مشکل می‌کند، در دو دهه اخیر، ورود تئوری ناپایداری تورینگ به حیطه اکوژئومورفولوژی، زمینه‌ای برای ارائه انواع مدل‌های کنشی– انتشاری ...

تئوری شکل گیری الگوها از طریق انشعابات تورینگ نقش مهمی در بررسی دلایل ظهور الگوهای فضایی منظم و پیش بینی ظهور آن ها در سیستم های زیستی، شیمیایی و فیزیکی دارد. از آنجا که پیچیدگی حاکم بر سیستم های اکوژئومورفیک (ژئوسیستم)، پیش بینی پاسخ آن ها را در برابر آشوب ها بسیار مشکل می کند، در دو دهه اخیر، ورود تئوری ناپایداری تورینگ به حیطه اکوژئومورفولوژی، زمینه ای برای ارائه انواع مدل های کنشی– انتشاری ...

در 1960 پاتنم در مقالۀ "اذهان و ماشین‌ها" بر پایۀ قیاسِ میانِ ذهن و  ماشینِ تورینگ نگرشی نو به ذهن به نام کارکردگرایی را پی‌ریزی نمود. یک دهه پس از آن دریفوس براساسِ تفسیرش از پدیدارشناسیِ مرلوپونتی و هیدگر کارکردگراییِ پاتنم را نقد کرد. دریفوس نشان داد که نمی‌توان ذهن را به مثابه ماشینی تورینگ به شمار آورد که با بهره‌گیری از قواعدی صوری کار می‌کند و ورودی و خروجی‌هایش عناصری فارغ از بستر هستند. دو د...