نام پژوهشگر: سید احمد میرصانعی

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

در استدلال های علمی و حتی در استدلال های روزمره ما، مقدمات استدلال و نتیجه باید به هم ربط داشته باشند. از جهتی ما با بسیاری از استدلال هایی سر و کار داریم که تقریبی اند و تا یک درجه خاصی درست هستند. در این پایان نامه با توجه به دو مقوله مهم در زبان طبیعی و منطق، یعنی «ربط» و «ابهام»، با رویکردی صوری، گزاره ای و غیرکلاسیک منطق هایی ساخته می شوند که استدلال آن ها هم فازی است و هم ربطی، و منطق های فازی ربطی نام دارند. منطق های فازی ربطی fb، nb را با راهکار فازی سازی و rb، rdb را با راهکار بازتعبیری ساختیم. این 4 منطق فازی ربطی، منطق های پایه هستند. منطق های فازی ربطی قوی تر، گسترش این منطق ها هستند.