قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات ه...

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

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

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

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