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