انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده ریاضی و علوم کامپیوتر دانشگاه امیرکبیر برگزار می‌کند:
🧠 کارگاه دو روزه منطق در هوش مصنوعی
⚡️مدرس دوره:
👨💻 سید احمد میرصانعی
نامزد دکتری تخصصی منطق فلسفی دانشگاه تربیت مدرس| پژوهشگر منطق و هوش مصنوعی
📚 سرفصل‌های اصلی کارگاه:
☑️ جایگاه منطق در هوش مصنوعی
☑️ منطق، گراف دانش و وب معنایی
☑️ منطق‌های توصیفی (DLs)
☑️ روش‌های محاسباتی الگوریتمیک منطقی
☑️ استنتاج‌گرهای منطقی
☑️ زبان هستی‌شناسی وب (ΟWL) و استاندارهای پایه (RDF و RDFS)
☑️ تعریف و ساختار گراف‌های دانش
☑️ مدل‌سازی دانش با منطق توصیفی و گراف‌های دانش
☑️ هوش مصنوعی نمادین (Symbolic AI)
☑️ تلفیق Symbolic AI و یادگیری ماشین
☑️ کار با نرم‌افزار Protégé
☑️ چالش‌ها: پیچیدگی محاسبات، مقیاس‌پذیری، عدم قطعیت و ...
☑️ مسیرهای پژوهشی جدید
⏳ مدت زمان کارگاه: ۲ جلسه سه ساعته
📆 تاریخ برگزاری کارگاه: چهارشنبه ۱۶ مهر و ۲۳ مهر ۱۴۰۴/ ساعت ۹ الی ۱۲
📍 نحوه برگزاری: #حضوری_مجازی
💳 هزینه‌ی ثبت‌نام: ۲۵۰ هزار تومان (با تخفیف ویژه برای دانشجویان امیرکبیر) با رايه گواهي‌نامه انجمن منطق ايران
🔗 ثبت‌نام:
https://mohit.online/event/3pnsqr