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

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

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

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

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

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

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

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

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

#poster

The 13th Annual Conference of the Iranian Association for Logic

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

فرامنطق‌های زمانی و راستی‌آزمایی برای فراویژگی‌ها
مهران سلیمان فلاح (دانشگاه صنعتی امیرکبیر)

چکیده
به شکل ترادادی، توصیف سامانه‌های رایانشی بیشتر با بیان خواسته‌ها از نشان‌های اجرای سامانه‌ها که به ویژگی‌های نشان نیز شناخته می‌شوند، انجام شده است. برای این کار، پژوهشگران از منطق‌های زمانی مانند اِلتیاِل و سیتیاِل و نیز گسترش‌های آنها بسیار بهره برده و ویژگی‌های نشان را بیان کرده‌اند. همچنین، دانشوران روش‌های گوناگونی برای راستی‌آزمایی سامانه‌ها برای این ویژگی‌ها پیشنهاد داده‌اند. با وجود این، آنچه از سامانه‌ها خواسته می‌شود، همگی با بیان ویژگی‌های تک‌نشان‌ها شدنی نیست. خواسته‌هایی مانند چونی زاوَری و نیز خواسته‌های وابسته به امنیت، از این نمونه‌ها هستند. از این روی، گونه‌ای دیگر از ویژگی‌های سامانه‌ها پیشنهاد شده‌اند که به جای تک‌نشان‌ها خواسته‌ای از گردایۀ همۀ نشان‌های اجرای سامانه بیان می‌کنند. به این خواسته‌ها فراویژگی می‌گویند و برای بیان آنها فرامنطق‌های زمانی را پیشنهاد داده‌اند. در این گفتار، بر آنم که به فراویژگی‌ها و منطق فرااِلتیاِل که یکی از فرامنطق‌های زمانی است، بپردازم. همچنین، برخی شیوه‌های راستی‌آزمایی سامانه‌ها برای فراویژگی‌ها مانند راستی‌آزمایی زمان‌اجرا و تفسیر انتزاعی را برای این دست از خواسته‌ها بیان کرده و چالش‌ها را در هم‌سنجی با راستی‌آزمایی برای ویژگی‌ها به گفتگو بگذارم.

تاریخ: دوشنبه، ۳۱ شهریور ۱۴۰۴، ساعت ۱۶ الی ۱۸
سخنرانی به صورت حضوری و مجازی به ميزبانی دانشگاه امیرکبیر (تهران، خيابان حافظ، درب زير پل حافظ، دانشگاه صنعتی امیر کبیر، دانشکده ریاضی و علوم کامپیوتر، گروه ریاضی محض، اتاق ۳۱۱) برگزار می‌شود.
پیوند سخنرانی برخط (آنلاین)
https://meet.google.com/cpj-mhhf-kyc

انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده‌ی ریاضی و علوم کامپیوتر دانشگاه امیرکبیر برگزار می‌کند:

🧠 کارگاه دو روزه‌ منطق در هوش مصنوعی

⚡️مدرس:
👨‍💻 سید احمد میرصانعی
نامزد دکتری تخصصی منطق فلسفی دانشگاه تربیت مدرس| پژوهشگر منطق و هوش مصنوعی

📚 سرفصل‌های کارگاه:
☑️ جایگاه منطق در هوش مصنوعی
☑️ منطق، گراف دانش و وب معنایی
☑️ منطق‌های توصیفی (DLs)
☑️ روش‌های محاسباتی الگوریتمیک منطقی
☑️ استنتاج‌گرهای منطقی
☑️ زبان هستی‌شناسی وب (ΟWL) و استاندارهای پایه (RDF و RDFS)
☑️ تعریف و ساختار گراف‌های دانش
☑️ مدل‌سازی دانش با منطق توصیفی و گراف‌های دانش
☑️ هوش مصنوعی نمادین (Symbolic AI)
☑️ تلفیق Symbolic AI و یادگیری ماشین
☑️ کار با نرم‌افزار Protégé
☑️ چالش‌ها: پیچیدگی محاسبات، مقیاس‌پذیری، عدم قطعیت و ...
☑️ مسیرهای پژوهشی جدید


⏳ مدت زمان کارگاه: ۶ ساعته

📆 تاریخ برگزاری کارگاه: چهارشنبه، ۱۶ و ۲۳ مهر ۱۴۰۴/ ساعت ۹ الی ۱۲

📍 نحوه برگزاری: #حضوری_مجازی

💳 هزینه‌ی ثبت‌نام: ۲۵۰ هزار تومان (با تخفیف ویژه برای دانشجویان امیرکبیر) با گواهی‌نامه انجمن منطق ایران

🔗 ثبت‌نام:
https://mohit.online/event/3pnsqr

📚 کتاب منطق سمرقندی توسط انتشارات مؤسسۀ پژوهشی حکمت و فلسفۀ ایران منتشر شد.

💠 انجمن منطق ایران انتشار این اثر ارزشمند را به جناب آقای دکتر فلاحی تبریک عرض می‌نماید.

@iranlogic

📌 گروه منطق پژوهشکده‌ی ریاضیات پژوهشگاه دانش‌های بنیادی (شعبه اصفهان) با همکاری انجمن منطق ایران جلسه سخنرانی #حضوری_مجازی برگزار می‌کند:

◀️ سخنران: مسعود الوند | پژوهشگر پسادکتری

◀️ عنوان: بحثی در باره‌ی «مسأله انتخاب» در منطق

زمان: پنج‌شنبه، 17 مهرماه 1404، ساعت 14

مکان: سالن سخنرانی پژوهشکده‌ی ریاضیات، طبقه اول مهمانسرای دانشگاه اصفهان

🔗 لینک جلسه: https://meet.google.com/uqh-veir-jxa

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

هوش مصنوعی عصبی-نمادین: اتصالی دوسویه میان استدلال منطقی و یادگیری
محمد ایزدی (دانشگاه صنعتی شریف)

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

تاریخ: دوشنبه، ۲۸ مهر ۱۴۰۴، ساعت ۱۶ الی ۱۷:۳۰
سخنرانی به صورت حضوری و مجازی به ميزبانی دانشگاه صنعتی شریف (سالن خوارزمی، طبقه چهار دانشکده مهندسی کامپیوتر) برگزار می‌شود.
پیوند سخنرانی برخط (آنلاین)
https://vc.sharif.edu/ch/izadi

📌یادآوری:

جلسه دوم کارگاه دو روزه‌ منطق در هوش مصنوعی مانند جلسه قبل، به صورت ترکیبی #حضوری_مجازی برگزار خواهد شد.

شرکت‌کنندگانی که تمایل به شرکت حضوری در این رویداد دارند، لطفاً با به همراه داشتن کارت شناسایی معتبر، از درب شمالی دانشگاه امیرکبیر واقع در خیابان رشت وارد دانشگاه شوند.

آدرس: تهران، خيابان حافظ، خیابان رشت، درب شمالی دانشگاه صنعتی امیر کبیر، دانشکده ریاضی و علوم کامپیوتر، گروه ریاضی محض، اتاق ۳۱۱

زمان: چهارشنبه ۲۳ مهر ۱۴۰۴، ساعت ۹ صبح الی ۱۲

🛑🛑🛑
سخنرانی دکتر محمد ایزدی (هوش مصنوعی عصبی-نمادین: اتصالی دوسویه میان استدلال منطقی و یادگیری) که قرار بود روز دوشنبه ۲۸ مهرماه ۱۴۰۴ در دانشگاه صنعتی شریف برگزار شود، به دلیل تداخل با برنامه‌های آغاز سال تحصیلی دانشگاه‌ها به زمان دیگری موکول شد.
زمان جدید سخنرانی ایشان از طریق درگاه‌های ارتباطی انجمن منطق ایران اطلاع‌رسانی خواهد شد.

Logica Universalis Webinars
Title: Crazy Dice, Chance, and Counting Causes
Speaker: Roy T. Cook
Time: Wednesday, Aban 7, 5:30 PM (Iran Local Time)
Permalink

📚 ترجمه‌ی فارسی کتاب "کواین: راهنمای سرگشتگان" (Quine: A Guide for the Perplexed) اثر گری کِمپ توسط انتشارات علمی و فرهنگی منتشر شد.

💠 انجمن منطق ایران انتشار این اثر ارزشمند را به مترجم این کتاب، جناب آقای دکتر بهاءالدین موحد تبریک عرض می‌نماید.

@iranlogic

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

طرحی کلی از پروژه منطقی خونجی
بهنام ذوالقدر (دانشگاه فرایبورگ)

چکیده
افضل‌الدین خونجی یکی از مهم‌ترین منطق‌دانان پس از ابن سینا است که آثارش تأثیرات مهمی بر اثار فلاسفه و منطق‌دانان پس از خود داشت. در این ارایه ابتدا تصویری نظام‌مند از پروژه فلسفی-منطقی خونجی در مقایسه با ابن‌سینا خواهم داد و سپس استدلال می‌کنم که تأثیر خونجی بر فیلسوفان و منطق‌دانان بعدی بیش از هر چیز جنبه معناشناختی و متافیزیکی دارد.

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

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

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

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

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

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

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

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

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

The 13th Annual Conference of the Iranian Association for Logic

✳️ Call for Papers
The 13th Annual Conference of the Iranian Association for Logic will be held with an attractive special section entitled "Logic in Artificial Intelligence".
We encourage all those who are interested in various fields of logic to send their articles extended abstract by considering the guidelines for submitting articles to the Iranian Association for Logic conferences to [email protected].
✳️ Submission Deadline: December 21, 2025

✳️ Invited Speakers (From A to Z)
Abraham, Ajith / Sai University of India
Béziau, Jean-Yves / University of Brazil
Brattka, Vasco / University of the Bundeswehr Munich
Macpherson, Dugald / University of Leeds
Yang, Yue / National University of Singapore (NUS)

✳️ Conference Topics
Theoretical Approaches:
- Modern Logic (Mathematical and Philosophical)
- Traditional Logic
- Comparative Logic
- Informal Logic
- Philosophy of Logic
Applied Approaches:
- History of Logic
- Education of Logic
- Analytic and Linguistic Philosophy
- Scientific Methodology
- Critical Thinking
✳️ Special Section’s Topics
Logic in Artificial Intelligence:
- Logic in Autonomous Systems
- Human-Robot Interaction Model with a Logical Approach
- Non-classical Logics in Machine Learning
- Explainable AI (XAI: Neuro-Symbolic Integration)
- Description Logics and Knowledge Representation
- Logic and Semantic Web
- Multi-Agent Reasoning
- Generative AI Reasoning Models
- Argumentation Mining
- Machine Thinking
- Logic for Ethical/Legal-based AI Frameworks
- Validation and Verification of Artificial Intelligence Systems with Logic
- Application of Extended Logics in Dynamic Environments

✳️ Scientific Directors
- Minaei-Bidgoli, Behrouz
- Roshandel Tavana, Nazanin

✳️ Scientific Committee (From A to Z)
- Alaeiyan, Mehdi (Iran University of Science and Technology)
- Amirkhani, Mahnaz (Al-Zahra University)
- Ardeshir Larijani, Ebrahim (Iran University of Science and Technology)
- Bahrami, Saeedeh (IPM)
- Dastafshan, Alireza (Researcher and Lecturer in Analytical Philosophy)
- Eslami, Esfandiar (Shahid Bahonar University of Kerman)
- Ghari, Meghdad (University of Isfahan)
- Hosseini, Seyed Hassan (Sharif University of Technology)
- Minaei-Bidgoli, Behrouz (Iran University of Science and Technology)
- Mozayani, Nasser (Iran University of Science and Technology)
- Roshandel Tavana, Nazanin (Amir Kabir University of Technology)
- Seraji, Payam (Mathematics House of Isfahan)

✳️ Conference Date and Venue
Date: February 16-17, 2026
Place: Artificial Intelligence and Robotics Group, Faculty of Computer Engineering, Iran University of Science and Technology

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

دنباله‌های فیبوناتچی تعمیم‌یافته
علی ولی‌زاده (دانشگاه اصفهان)

چکیده
ابتدا برخی از مفاهیم بنیادی نظریه مدل‌ها را مرور می‌کنم و با اتکاء به آنها دو ساختار مختلف، یکی با ماهیتی ترکیباتی و دیگری با ماهیتی عددی، را بررسی می‌کنم. سعی‌ام بر این است که به ویژگی‌های مختلف این ساختارها اشاره کنم. همچنین نشان خواهم داد که در یکی از این ساختارها که توسیعی جالب از حساب پرسبرگر است، امکان صحبت از دنباله‌های تعمیم‌یافته فیبوناتچی وجود دارد.

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