#رویداد_منطق_دارالعلم #منطق‌جدید_هوش‌مصنوعی #تاریخ_منطق #یادگیری_معکوس #آموزش ❇️ رویداد مدرسه منطق و روش شناسی دارالعلم 💠 ظرفیت منطق‌های جدید و هوش مصنوعی در فرآیند استنباط 📅 پنجشنبه ۱۱ مرداد ❇️حتما پیش از #رویداد فیلم آموزشی زیر را ببینید: 📎جلسه اول: از خاستگاه تا خواستگاه منطق‌های جدید 🔻انسان و استنتاج 🔻راهکار مطمئن استنتاج 🔻منطق ارسطویی 🔻چالش های پیش روی منطق ارسطویی 🔻خواستگاه منطق های جدید 🔻بازنمایی و استنتاج ماشینی دانش 🔻انواع استنتاج و استدلال ورزی 📎جلسه دوم : منطق های غیر یکنوا (منطق پیشفرض) 🔻منطق های یکنوا و غیر یکنوا 🔻معرفی اولیه از منطق پیش فرض 🔻معرفی عناصر موجود در منطق پیش فرض 🔻بررسی یک مثال 📎 جلسه سوم : مثال فقهی از منطق پیش فرض 🔻مروری بر عناصر موجود در منطق پیش فرض 🔻بررسی یک مثال فقهی 🔻بازنمایی گزاره ها در منطق کلاسیک 🔻بازنمایی گزاره ها در منطق پیش فرض 🔻استدلال ورزی منطقی 🔻افزودن مفروض جدید 🔗 گروه پرسش و پاسخ با حضور استاد شهبازی 📚📚📚 📌مدرسه منطق و روش شناسی 📚📚📚