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

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

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

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

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

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

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

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

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

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

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

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

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