فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران
زمان جديد برگزاری همايش مشخص شد.
سیزدهمين همايش ساليانه انجمن منطق ايران (1404) با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار میشود.
سخنرانان مدعو (به ترتیب الفبا)
آبراهام، آجیت / دانشگاه سای (هندوستان)
براتکا، واسکو / دانشگاه بوندسوهر مونیخ
بیزو، ژان ایو / دانشگاه برزیل
مکفراسون، دوگالد / دانشگاه لیدز
یانگ، یو / دانشگاه ملی سنگاپور
از همه پژوهشگران و علاقمندان دعوت میشود که مقالات خود را تا تاريخ 31 تیر 1405 در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید) ارسال نمايند.
رويکردهای نظری منطق
- منطق جديد (رياضی و فلسفی)
- منطق سنتی
- منطق تطبیقی
- منطق غيرصوری
- فلسفه منطق
رويکردهای کاربردی منطق
- تاريخ منطق
- آموزش منطق
- فلسفه تحليلی و زبانی
- روششناسی علم
- تفکر انتقادی
- منطق در هوش مصنوعی
• منطق در سیستمهای خودمختار
• مدلسازی تعاملات انسانی-رباتی با رویکرد منطقی
• منطقهای غیرکلاسیک در یادگیری ماشین
• هوش مصنوعی توضیحپذیر (تلفیق منطق و یادگیری عمیق)
• منطقهای توصیفی و بازنمایی دانش
• منطق و وب معنایی
• استدلالورزی چندعاملی
• هوش مولد استدلالگر
• خوانش استدلالی ماشینی
• تفکر ماشینی
• منطق برای سیستمهای اخلاقیمحور و حقوقیمحور هوش مصنوعی
• اعتبارسنجی و راستیآزمایی سیستمهای هوش مصنوعی با ابزارهای منطقی
• کاربرد منطقهای توسعهیافته (موجهات، زمان، معرفت، پویا، پیشفرض و ...) در محیطهای پویا
دبیران علمی همایش
بهروز مینایی بیدگلی و نازنین روشندل توانا
اعضای کمیته علمی (به ترتیب حروف الفبا)
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
ـ اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانشهای بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دستافشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)
زمان و مکان برگزاری همايش
27 و 28 بهمن 1404؛ دانشکده کامپیوتر، دانشگاه علم و صنعت ايران
تاريخ جديد: شنبه و يکشنبه، 21 و 22 شهریور 1405 (به صورت تلفيقی حضوری و مجازی به میزبانی دانشکده کامپيوتر دانشگاه علم و صنعت ايران)