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