سیزدهمین همایش سالیانه انجمن منطق ایران (منطق در هوش مصنوعی)

زمان برگزاری: 27 و 28 بهمن ماه 1404

مکان: گروه هوش مصنوعی و رباتیک دانشکده مهندسی کامپیوتر دانشگاه علم و صنعت ایران

مهلت ارسال مقالات: 30 آذر 1404

اطلاعات بیشتر: https://ialogic.ir

محورهای همایش:

رویکردهای نظری:

• منطق جدید (ریاضی و فلسفی)

• منطق سنتی

• منطق تطبیقی

• منطق‌های غیرصوری

• فلسفه منطق

رویکردهای کاربردی:

• تاریخ منطق

• آموزش منطق

• فلسفه‌ی تحلیلی و زبانی

• روش‌شناسی علم

• تفکر انتقادی

محورهای بخش ویژه:

منطق در هوش مصنوعی: 

• منطق در سیستم‌های خودمختار

• مدل‌سازی تعاملات انسانی-رباتی با رویکرد منطقی

• منطق‌های غیرکلاسیک در یادگیری ماشین

• هوش مصنوعی توضیح‌پذیر (تلفیق منطق و یادگیری عمیق)

• منطق‌های توصیفی و بازنمایی دانش

• منطق و وب معنایی

• استدلال‌ورزی چندعاملی

• هوش مولد استدلال‌گر

• خوانش استدلالی ماشینی

• تفکر ماشینی

• منطق برای سیستم‌های اخلاقی‌محور و حقوقی‌محور هوش مصنوعی

• اعتبارسنجی و راستی‌آزمایی سیستم‌های هوش مصنوعی با ابزارهای منطقی

• کاربرد منطق‌های توسعه‌یافته (موجهات، زمان، معرفت، پویا، پیش‌فرض و …) در محیط‌های پویا

دبیران علمی همایش:

• بهروز مینایی بیدگلی

• نازنین روشندل توانا

اعضای کمیته علمی (به ترتیب حروف الفبا):

• اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)

• اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)

• امیرخانی، مهناز (دانشگاه الزهرا)

• بهرامی، سعیده (پژوهشگاه دانش‌های بنیادی)

• حسینی، سیدحسن (دانشگاه صنعتی شریف)

• دست‌افشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)

• روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)

• سراجی، پیام (خانه ریاضیات اصفهان)

• علائیان، مهدی (دانشگاه علم و صنعت)

• قاری، مقداد (دانشگاه اصفهان)

• مزینی، ناصر (دانشگاه علم و صنعت)

• مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)