در این رساله به بررسی منطقهای توجیه و ارتباط آنها با منطقهای موجهات می پردازیم. نتایج این رساله به سه گروه قابل تقسیم هستند. ارایه منطقهای توجیه جدید، از جمله: ‎ jb (صورت صریح منطق موجه براوری ‎ kb)، ‎ jgl (صورت صریح منطق اثبات پذیری گودل لوب ‎ gl)‎ و jld (صورتهای صریح منطقهای دانشی توزیعی). بررسی ارتباط منطقهای توجیه ارایه شده با منطقهای موجهات متناظر آنها بوسیله ارایه قضیه تحقق، از جمله: اثبا...

در این مقاله، بر مفهوم «روش شناسی» و تفاوت آن با «روش» تأکید می شود و در چارچوب این تفاوت گذاری، لایه های دخیل در پژوهش استفهامی مشخص می گردد. هدف آن است که با مشخص کردنِ این لایه ها، زمینۀ کاربرد منطقِ استفهامی در تحلیلِ نظام های رده بندی دانش، به عنوان بدیلی برای منطق استقرائی و قیاسی که نوعاً منطق اغلب پژوهش ها در این حوزه هستند، ارائه شود. روش: تحلیل مفهومی. یافته ها: منطق استفهامی به دنبالِ تبی...

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

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

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

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

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

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