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

سیزدهمين همايش ساليانه انجمن منطق ايران در سال ۱۴۰۴ با حال و هوايی متفاوت و با بخشی ويژه با عنوان منطق در هوش مصنوعی برگزار می‌شود.
از همه پژوهشگران و علاقمندان دعوت می‌شود که مقالات خود را تا تاريخ ۳۰ آذر ۱۴۰۴ ۳۰ دی‌ماه ۱۴۰۴ در محورهای زير با در نظر گرفتن دستورالعمل ارسال مقالات همايش، برای دبیرخانه همايش (lc1404@ialogic.ir) ارسال نمايند.

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

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

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

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

✳️ دبیر اجرایی همایش
ابراهیم اردشیر لاریجانی

✳️زمان و مکان برگزاری همايش
۲۷ و ۲۸ بهمن ۱۴۰۴؛ گروه هوش مصنوعی و رباتیک، دانشکده مهندسی کامپیوتر، دانشگاه علم و صنعت

🎵صوت جلسه «مبانی فلسفی منطق شهودگرایانه»

🎤سخنران: دکتر محمد اردشیر

۱۴۰۴/۱۰/۰۲

◆ انجمن علمی فلسفه علم شریف

◆ رویداد «رابطه اخلاق و زیبایی شناسی»، دکتر زهرا سرکارپور به تاریخ ۱۶ دی ماه منتقل شد.

◈ اطلاعات جهت ثبت نام، هفته آینده در کانال قرار خواهد گرفت.

◆ سخنرانی دکتر حسین شقاقی
(پژوهشگاه علوم انسانی و مطالعات فرهنگی)

◈ عنوان: آگوستینوس در بیان ویتگنشتاین

◈ زمان: چهارشنبه ۱۰ دی ماه ساعت ۱۳:۳۰

◈مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

⭕️ مهم! مشخصات خود را در این قسمت جهت ورود به دانشگاه وارد کنید.

◆ انجمن علمی فلسفه علم شریف

◆ سخنرانی دکتر حسین شقاقی
(پژوهشگاه علوم انسانی و مطالعات فرهنگی)

◈ عنوان: آگوستینوس در بیان ویتگنشتاین

◈ زمان: چهارشنبه ۱۰ دی ماه ساعت ۱۳:۳۰

◈مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

⭕️ مهم! مشخصات خود را در این قسمت جهت ورود به دانشگاه وارد کنید.

◆ انجمن علمی فلسفه علم شریف

◈ برنامه‌های هفته آینده انجمن علمی گروه فلسفه علم شریف:

◆ چهارشنبه ۱۰ دی: سخنرانی «آگوستینوس در بیان ویتگنشتاین»

◆ پنج‌شنبه ۱۱دی: رویداد «نظم مهندسی، فهم انسانی»

جهت مشاهده هر برنامه بر روی عنوان آن کلیک کنید.


◆ انجمن علمی فلسفه علم شریف

◆ چکیده سخنرانی دکتر حسین شقاقی

◈ عنوان: آگوستین در بیان ویتگنشتاین

◈ زمان: چهارشنبه 10 دی ماه ساعت 13:30

◈ مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

◆ سخنرانی دکتر حسین شقاقی
(پژوهشگاه علوم انسانی و مطالعات فرهنگی)

◈ عنوان: آگوستینوس در بیان ویتگنشتاین

◈ زمان: چهارشنبه ۱۰ دی ماه ساعت ۱۳:۳۰

◈مکان: دانشگاه صنعتی شریف، گروه فلسفه علم، تالار دکتر گلشنی

⭕️ مهم! مشخصات خود را در این قسمت جهت ورود به دانشگاه وارد کنید.

◆ انجمن علمی فلسفه علم شریف

◆ این برنامه با یک هفته تاخیر، در تاریخ ۱۷ دی ۱۴۰۴ برگزار خواهد شد.