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