در این پایان نامه براساس مقاله تام هد [20] چگونگی استنتاج قضایای فازی را از نوع معمولی آنها بویژه در جبر بررسی می کنیم. فرض می کنیم x یک جبر است در این صورت زیر مجموعه های فازی x یعنی f(x) تشکیل یک جبر می دهند. در این رساله با استفاده از مفهوم زیرمجموعه -cفازی تعاریفی با الگوی یکسان برای مفاهیم فازی ارائه می دهیم و با یک روش یکسان به استنتاج قضایای جبر فازی از قضایای جبر معمولی می پردازیم ابزار...

ون فراسن از برجسته ترین فیلسوفان علم در عصر حاضر و بنیانگذار مکتب «تجربه گرایی سازنده» است. بررسی نظریه او در مسئله  تبیین، از این جهت اهمیت دارد که وی با نقد نظریه های صورت گرا شورید و تمرکز اصلی دیدگاهش را بر توجه به نقش امور غیرصوری، به ویژه بستر، قرار داد. نظریه او در تبیین، یکی از برجسته ترین نظریه های غیرصورت گرا تلقی می شود. نظریه های رایج تبیین را رابطه میان نظریه و واقع می دانند؛ ون فر...

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

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

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

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

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

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

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

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