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

بازشناسی انسان از ماشین در فضای سایبری و سیستم های خودکار همواره یکی از جالب ترین و در عین حال سخت ترین چالش های پیش روی متخصصان امنیت و پژوهشگران هوش مصنوعی بوده است. شناسایی، بررسی و پیاده سازی الگوریتم ها و ساختارهایی که بتوانند انسان و سیستم های کامپیوتری را به کمک روندی از سوالات تفکیک کنند، همواره در این حوزه مورد بررسی بوده است. استفاده های متعدد امنیتی (برای مثال جلوگیری از انجام عملیات...

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

در این پایان نامه، با یک روش توصیفی، نظرات لاوور در نظریه رسته ها با استفاده از زبان نظریه مجموعه ای ارائه و توسعه داده می شوند.ضمنا چگونگی ایجاد و تکوین پارادکس های خودارجاعی، ناتمامیت و قضایای نقطه ثابت از قضیه تعمیم یافته کانتور تشریح خواهند شد. همچنین این رویه برای پارادکس دروغگو، پارادکس گرلینگ و ریچارد، مساله توقف تورینگ، مساله اراکل دار p=np ، پارادکس سفر در زمان، گزاره های پریخ، پارادکس...

در این پایان نامه، ابتدا مفاهیم اولیه سیستم های دینامیکی در دو حالت پیوسته و گسسته را معرفی می کنیم. سپس کاربرد سیستم های گسسته را جهت بررسی رشد تک گونه ایها بیان می کنیم. بدین منظور مدل های رشد نمایی، رشد لجستیک و مدل ماتریسی لسلی را برای تک گونه ایها توضیح داده و رفتار دینامیکی سیستم را در دراز مدت توضیح می دهیم. همچنین تأثیر سیاست حذف و نگهداری را برای کنترل جمعیت های تک گونه ای بررسی می کنی...

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

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