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

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

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

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

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

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

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

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

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