سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار میشود.
از همه پژوهشگران و علاقمندان دعوت میشود که مقالات خود را تا تاريخ
✳️ سخنرانان مدعو (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مکفراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور
✳️ رويکردهای نظری منطق
- منطق جديد (رياضی و فلسفی)
- منطق سنتی
- منطق تطبیقی
- منطق غيرصوری
- فلسفه منطق
✳️ رويکردهای کاربردی منطق
- تاريخ منطق
- آموزش منطق
- فلسفه تحليلی و زبانی
- روششناسی علم
- تفکر انتقادی
✳️ منطق در هوش مصنوعی
• منطق در سیستمهای خودمختار
• مدلسازی تعاملات انسانی-رباتی با رویکرد منطقی
• منطقهای غیرکلاسیک در یادگیری ماشین
• هوش مصنوعی توضیحپذیر (تلفیق منطق و یادگیری عمیق)
• منطقهای توصیفی و بازنمایی دانش
• منطق و وب معنایی
• استدلالورزی چندعاملی
• هوش مولد استدلالگر
• خوانش استدلالی ماشینی
• تفکر ماشینی
• منطق برای سیستمهای اخلاقیمحور و حقوقیمحور هوش مصنوعی
• اعتبارسنجی و راستیآزمایی سیستمهای هوش مصنوعی با ابزارهای منطقی
• کاربرد منطقهای توسعهیافته (موجهات، زمان، معرفت، پویا، پیشفرض و ...) در محیطهای پویا
✳️ دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا
✳️ اعضای کمیته علمی (به ترتیب حروف الفبا)
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانشهای بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دستافشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)
✳️ دبیر اجرایی همایش
ابراهیم اردشیر لاریجانی
✳️زمان و مکان برگزاری همايش
۲۷ و ۲۸ بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت
