اعتبار و درستی‌سنجی سیستم مبتنی بر منطق فازی

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