هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

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

بحث دربارة هنر رمانتیک نزد فیلسوفان بسیار چالش برانگیز بوده است. هگل به عنوان فیلسوف و متفکر ایدئالیسم آلمانی از زمانی که با رهیافت خاص خود به تحلیل هنر رمانتیک پرداخت تاکنون همواره نکته گیری های ژرفش، اندیشمندان پس از او را به تأمل واداشته است. هگل به‌واسطة کتاب «پدیدارشناسی روح» و «علم منطق» مشهور شده است، و متن مستقلی در مورد زیبایی‌شناسی به طبع نیاورده است، اما این به این معنا نیست، که او د...

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

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

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

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

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

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

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