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

 

 

اطلاعیه بسیار مهم:

بنا بر ارزیابی کمیته‌های علمی و اجرایی سیزدهمین همایش سالیانه انجمن منطق ایران، مبنی بر فراهم نبودن شرایط سخت‌افزاری و نرم‌افزاری برگزاری همایش، هیات مدیره انجمن منطق ایران تصمیم به تعویق برگزاری همایش گرفت. زمان جدید برگزاری متعاقباً اعلام خواهد شد.
دبیرخانه همایش تا اطلاع ثانوی پذیرای مقالات ارسالی خواهد بود. برای اطلاع از ساختار مناسب خلاصه مقالات همایش، اینجا کلیک کنید.

 

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

 

 

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

 

از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا اطلاع ثانوی در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (این آدرس ایمیل توسط spambots حفاظت می شود. برای دیدن شما نیاز به جاوا اسکریپت دارید) ارسال نمايند.

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

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

- منطق سنتی

- منطق تطبیقی

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

- فلسفه منطق

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

- تاريخ منطق

- آموزش منطق

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

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

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

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

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

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

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

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

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