منطق ریاضیاتی و سیستم‌های خبره