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

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

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

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

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

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

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

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

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