فراخوان ثبت نام و برنامه سیزدهمين همايش ساليانه انجمن منطق ايران

سیزدهمين همايش ساليانه انجمن منطق ايران (1404) با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود.

سخنرانان مدعو (به ترتیب الفبا)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
مک‌فراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور

از همه پژوهشگران و علاقمندان دعوت می‌شود که تا تاريخ 15 شهریور 1405 برای شرکت در همايش ثبت نام کنند (از اينجا).

رويکردهای نظری منطق

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

- منطق سنتی

- منطق تطبیقی

- منطق غيرصوری

- فلسفه منطق

رويکردهای کاربردی منطق

- تاريخ منطق

- آموزش منطق

- فلسفه تحليلی و زبانی

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

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

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

• منطق در سیستم‌های خودمختار
• مدل‌سازی تعاملات انسانی-رباتی با رویکرد منطقی
• منطق‌های غیرکلاسیک در یادگیری ماشین
• هوش مصنوعی توضیح‌پذیر (تلفیق منطق و یادگیری عمیق)
• منطق‌های توصیفی و بازنمایی دانش
• منطق و وب معنایی
• استدلال‌ورزی چندعاملی
• هوش مولد استدلال‌گر
• خوانش استدلالی ماشینی
• تفکر ماشینی
• منطق برای سیستم‌های اخلاقی‌محور و حقوقی‌محور هوش مصنوعی
• اعتبارسنجی و راستی‌آزمایی سیستم‌های هوش مصنوعی با ابزارهای منطقی
• کاربرد منطق‌های توسعه‌یافته (موجهات، زمان، معرفت، پویا، پیش‌فرض و ...) در محیط‌های پویا 

دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا

اعضای کمیته علمی (به ترتیب حروف الفبا)
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانش‌های بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دست‌افشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)

زمان و مکان برگزاری همايش

27 و 28 بهمن 1404؛ دانشکده کامپیوتر، دانشگاه علم و صنعت ايران

تاريخ جديد: شنبه و يکشنبه، 21 و 22 شهریور 1405 (به صورت تلفيقی حضوری و مجازی به میزبانی دانشکده کامپيوتر دانشگاه علم و صنعت ايران)