فراخوان مقاله سیزدهمين همايش ساليانه انجمن منطق ايران سیزدهمين همايش… — Research_Int_MathCS_AUT — TG.ME

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