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

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

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

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

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

- منطق سنتی

- منطق تطبیقی

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

- فلسفه منطق

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

- تاريخ منطق

- آموزش منطق

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

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

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

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

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

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

دبیر اجرايی همايش

ابراهيم اردشير لاريجانی

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

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

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

زمان جديد: شنبه و يکشنبه، 21 (حضوری) و 22 (مجازی) شهریور 1405

مکان جديد: پژوهشگاه دانش‌های بنيادی (شعبه فرمانيه)، ﺧﯿﺎﺑﺎن فرمانيه، ﺗﻘﺎﻃﻊ ﮐﺎﻣﺮاﻧﯿﻪ، بعد از ﺑﺮج ﮐﻮه ﻧﻮر، ﻧﺒﺶ ﺧﯿﺎﺑﺎن ﺷﻬﯿﺪ ﻓﺮﺑﯿﻦ، ﭘﻼك 70، طبقه اول، سالن آمفی‌تئاتر