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

در این پایان نامه، نخست مقدمات و کلیاتی از مفهوم تصمیم نابرداری ارائه شده است. در وهله بعد، سیستم هایِ منطق زمان ابن سینا و پیشینه کارهایی که در این زمینه ارائه شده است را بیان کرده ام. در وهله بعد از آن تصمیم نابرداری منطق مرتبه اول را اثبات کرده ام.

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

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

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

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

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