به اطلاع کلیه اعضای جامعه منطق ایران می‌رسانیم که با تصمیم هیات داوران اولین جایزه سال منطق ایران، هیچکدام از آثار ارسالی به دبیرخانه جایزه، واجد شرایط انتخاب به عنوان برنده مسابقه و دریافت جایزه ابن‌سینا قرار نگرفت، لذا ایران در سومین دوره جایزه جهانی منطق که در دسامبر ۲۰۲۵ در پرو برگزار می‌شود، نماینده‌ای نخواهد داشت.
به همت انجمن منطق ایران، عنوان جایزه ملی منطق ایران، مزین به نام منطق‌دان بزرگ ایرانی، ابن سینا، در سایت جایزه جهانی منطق ثبت و صفحه اختصاصی آن ایجاد شد. دوره چهارم جایزه جهانی منطق در سال ۲۰۲۸ برگزار خواهد شد.
https://www.uni-log.org/logic-prize-iran-2025

سخنرانی ماهیانه انجمن منطق ایران

متریک و منطق‌های چندارزشی
محمد امین خاتمی (دانشگاه صنعتی بیرجند)

چکیده
در منطق کلاسیک رابط منطقی «اگر و فقط اگر» اهمیت ویژه‌ای در تشکیل جبر لیندنبائوم متناظر با یک تئوری دارد. در واقع با رابط منطقی اگر و فقط اگر به نوعی یک فاصله بین گزاره‌ها تعریف می‌شود و گزاره‌هایی که فاصله آنها با هم صفر است در یک کلاس هم‌ارزی از جبر لیندنبائوم قرار می‌گیرند. در منطق‌های چندارزشیِ مبتنی بر t-نرم، نیز رابط منطقی اگر و فقط اگر ارتباط نزدیکی با مفهوم فاصله یا همان متریک دارد. در این سخنرانی ابتدا یکی از مناظر ارتباط بین رابط منطقی اگر و فقط اگر و متریک را توضیح می‌دهم. سپس با توجه به این موضوع خواهم گفت که یک متریک با چه خواصی می‌تواند یک منطق چندارزشی ارائه دهد.

تاریخ: دوشنبه، ۲۷ مرداد ۱۴۰۴، ساعت ۱۶ الی ۱۸
سخنرانی به صورت مجازی برگزار خواهد شد.
پیوند سخنرانی برخط (آنلاین)
https://meet.google.com/cpj-mhhf-kyc

لینک سخنرانی‌ مجازی امروز ساعت ۱۶ الی ۱۸:

https://meet.google.com/cpj-mhhf-kyc

عنوان: متریک و منطق‌های چندارزشی

سخنران: محمد امین خاتمی (دانشگاه صنعتی بیرجند)

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

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

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

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

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