پژوهش حاضر درصدد بررسی امکان ارایة برگردان صوری برای روابط مفهومی در سطح جمله است و این مهم را با به‏کارگیری منطق ریاضی به ویژه منطق محمول‏ها در محدودة نمونه‏های کارآمد برای زبان فارسی انجام می‏دهد. به این ترتیب که ابتدا روابط مفهومی در سطح جمله که شامل «استلزام معنایی»، «تضاد معنایی»، «استنتاج» و «پیش‏انگاری» است، معرفی می‏شود و سپس، به‌وسیلۀ ابزارهای صوری منطق‏دانان و به ویژه منطق محمول‏ها بر...

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

تحقیق حاضر تلاشی است برای پیش بینی خشکسالی در شهر زاهدان با استفاده از متغیرهای بارندگی، مقادیر پیشین شاخص خشکسالی بارندگی استاندارد شده (spi) و 19 عدد از شاخص های اقلیمی. بدین منظور از قابلیت های سیستم استنتاج فازی- عصبی تطبیقی (anfis) برای ساخت مدل های پیش بینی و از شاخص خشکسالی spi برای نمایش کمی خشکسالی استفاده گردید. در ابتدا از روش محاسبه همبستگی، برای تحلیل ارتباط میان خشکسالی در مقیاس ه...

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

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

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

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

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

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

کورت گودل در فوریة‌‌ ۱۹۷۰ با دِینا اسکات دربارة‌‌ استدلال هستی‌‌شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا‌حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة‌‌ دوم در نظام S5 است، با این‌‌همانی و یک اصل انتزاع ویژگی‌‌ها. به ‌شرط پذیرش نظام منطقی، نتیجة‌‌ گودل، این‌‌که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به ‌دست می‌‌آی...