در این تحقیق ابتدا منطق فازی به عنوان یک منطق چندمقداری (در مقابل منطق باینری یا دو مقداری 0 و 1) معرفی شده و دلایل استفاده از این منطق ذکر شده است. همچنین در قسمتی از این تحقیق خدمات ارزنده پروفسور لطفی زاده به عنوان یکی از تاثیرگذارترین چهره های مطرح در زمینه منطق فازی معرفی شده است.
در ادامه Syntax و Semantic منطق فازی معرفی شده است. همچنین با تعریف مفاهیم Soundness و Completeness در قسمت بعدی، منطق فازی از این جهات مورد بررسی قرار گرفته است.
در قسمت بعدی با معرفی سایر منطق های موجود، ارتباط منطق فازی با این منطق ها و همچنین علوم کامپیوتر مورد بررسی قرار گرفته است.
در انتها نیز عناوین و مشخصات منابع استفاده شده برای انجام این تحقیق مشخص شده است.
سرفصل مطالب:
- مقدمه
- معرفی منطق فازی
- Syntax و Semantic منطق فازی
- بررسی Soundness و Completeness در منطق فازی
- ارتباط منطق فازی با سایر منطق ها و علوم کامپیوتر
- معرفی منابع و مآخذ