انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده‌ی ریاضی و علوم کامپیوتر دانشگاه امیرکبیر برگزار می‌کند:

🧠 کارگاه دو روزه‌ منطق در هوش مصنوعی

⚡️مدرس:
👨‍💻 سید احمد میرصانعی
نامزد دکتری تخصصی منطق فلسفی دانشگاه تربیت مدرس| پژوهشگر منطق و هوش مصنوعی

📚 سرفصل‌های کارگاه:
☑️ جایگاه منطق در هوش مصنوعی
☑️ منطق، گراف دانش و وب معنایی
☑️ منطق‌های توصیفی (DLs)
☑️ روش‌های محاسباتی الگوریتمیک منطقی
☑️ استنتاج‌گرهای منطقی
☑️ زبان هستی‌شناسی وب (ΟWL) و استاندارهای پایه (RDF و RDFS)
☑️ تعریف و ساختار گراف‌های دانش
☑️ مدل‌سازی دانش با منطق توصیفی و گراف‌های دانش
☑️ هوش مصنوعی نمادین (Symbolic AI)
☑️ تلفیق Symbolic AI و یادگیری ماشین
☑️ کار با نرم‌افزار Protégé
☑️ چالش‌ها: پیچیدگی محاسبات، مقیاس‌پذیری، عدم قطعیت و ...
☑️ مسیرهای پژوهشی جدید


⏳ مدت زمان کارگاه: ۶ ساعته

📆 تاریخ برگزاری کارگاه: چهارشنبه، ۱۶ و ۲۳ مهر ۱۴۰۴/ ساعت ۹ الی ۱۲

📍 نحوه برگزاری: #حضوری_مجازی

💳 هزینه‌ی ثبت‌نام: ۲۵۰ هزار تومان (با تخفیف ویژه برای دانشجویان امیرکبیر) با گواهی‌نامه انجمن منطق ایران

🔗 ثبت‌نام:
https://mohit.online/event/3pnsqr