انجمن منطق ایران

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

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

📌یادآوری: جلسه دوم کارگاه دو روزه‌ منطق در هوش مصنوعی مانند جلسه قبل، به صورت ترکیبی #حضوری_مجازی برگزار خواهد شد. شرکت‌کنندگانی که تمایل به شرکت حضوری در این رویداد دارند، لطفاً با به همراه داشتن کارت شناسایی معتبر، از درب شمالی دانشگاه امیرکبیر واقع در خیابان رشت وارد دانشگاه شوند. آدرس: تهران، خيابان حافظ، خیابان رشت، درب شمالی دانشگاه صنعتی امیر کبیر، دانشکده ریاضی و علوم کامپیوتر، گروه ریاضی محض، اتاق ۳۱۱ زمان: چهارشنبه 23 مهر 1404، ساعت 9 صبح الی 12

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

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

📌 قابل توجه ثبت‌نام کنندگان در گارگاه "کارگاه دو روزه‌ منطق در هوش مصنوعی" 👇👇👇 افرادی که به صورت #حضوری در این کارگاه شرکت می‌کنند، لطفاً از درب شمالی دانشگاه واقع در خیابان رشت وارد دانشگاه شوند، و کارت شناسایی معتبر به همراه داشته باشند. آدرس: خیابان حافظ، خیابان رشت، دانشگاه صنعتی امیرکبیر، دانشکده‌ی ریاضی و علوم کامپیوتر، طبقه سوم، سالن شماره ۳۱۱

📌 با توجه به استقبال گسترده از «کارگاه دو روز‌ه‌ی منطق در هوش مصنوعی»، تعداد بلیط‌های ثبت‌نام حضوری و مجازی در سامانه‌ی محیط افزایش یافت، و محدودیت تعداد ثبت‌نام برطرف شد.

انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده‌ی ریاضی و علوم کامپیوتر دانشگاه امیرکبیر برگزار می‌کند: 🧠 کارگاه دو روزه‌ منطق در هوش مصنوعی ⚡️مدرس: 👨‍💻 سید احمد میرصانعی نامزد دکتری تخصصی منطق فلسفی دانشگاه تربیت مدرس| پژوهشگر منطق و هوش مصنوعی 📚 سرفصل‌های کارگاه: ☑️ جایگاه منطق در هوش مصنوعی ☑️ منطق، گراف دانش و وب معنایی ☑️ منطق‌های توصیفی (DLs) ☑️ روش‌های محاسباتی الگوریتمیک منطقی ☑️ استنتاج‌گرهای منطقی ☑️ زبان هستی‌شناسی وب (ΟWL) و استاندارهای پایه (RDF و RDFS) ☑️ تعریف و ساختار گراف‌های دانش ☑️ مدل‌سازی دانش با منطق توصیفی و گراف‌های دانش ☑️ هوش مصنوعی نمادین (Symbolic AI) ☑️ تلفیق Symbolic AI و یادگیری ماشین ☑️ کار با نرم‌افزار Protégé ☑️ چالش‌ها: پیچیدگی محاسبات، مقیاس‌پذیری، عدم قطعیت و ... ☑️ مسیرهای پژوهشی جدید ⏳ مدت زمان کارگاه: ۶ ساعته 📆 تاریخ برگزاری کارگاه: چهارشنبه، ۱۶ و ۲۳ مهر ۱۴۰۴/ ساعت ۹ الی ۱۲ 📍 نحوه برگزاری: #حضوری_مجازی 💳 هزینه‌ی ثبت‌نام: ۲۵۰ هزار تومان (با تخفیف ویژه برای دانشجویان امیرکبیر) با گواهی‌نامه انجمن منطق ایران 🔗 ثبت‌نام: https://mohit.online/event/3pnsqr

انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده‌ی ریاضی و علوم کامپیوتر دانشگاه امیرکبیر برگزار می‌کند: 🧠 کارگاه دو روزه‌ منطق در هوش مصنوعی ⚡️مدرس: 👨‍💻 سید احمد میرصانعی نامزد دکتری تخصصی منطق فلسفی دانشگاه تربیت مدرس| پژوهشگر منطق و هوش مصنوعی 📚 سرفصل‌های کارگاه: ☑️ جایگاه منطق در هوش مصنوعی ☑️ منطق، گراف دانش و وب معنایی ☑️ منطق‌های توصیفی (DLs) ☑️ روش‌های محاسباتی الگوریتمیک منطقی ☑️ استنتاج‌گرهای منطقی ☑️ زبان هستی‌شناسی وب (ΟWL) و استاندارهای پایه (RDF و RDFS) ☑️ تعریف و ساختار گراف‌های دانش ☑️ مدل‌سازی دانش با منطق توصیفی و گراف‌های دانش ☑️ هوش مصنوعی نمادین (Symbolic AI) ☑️ تلفیق Symbolic AI و یادگیری ماشین ☑️ کار با نرم‌افزار Protégé ☑️ چالش‌ها: پیچیدگی محاسبات، مقیاس‌پذیری، عدم قطعیت و ... ☑️ مسیرهای پژوهشی جدید ⏳ مدت زمان کارگاه: ۶ ساعته 📆 تاریخ برگزاری کارگاه: چهارشنبه، ۱۶ و ۲۳ مهر ۱۴۰۴/ ساعت ۹ الی ۱۲ 📍 نحوه برگزاری: #حضوری_مجازی 💳 هزینه‌ی ثبت‌نام: ۲۵۰ هزار تومان (با تخفیف ویژه برای دانشجویان امیرکبیر) با گواهی‌نامه انجمن منطق ایران 🔗 ثبت‌نام: https://mohit.online/event/3pnsqr

انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده‌ی ریاضی و علوم کامپیوتر دانشگاه امیرکبیر برگزار می‌کند: 🧠 کارگاه دو روزه‌ منطق در هوش مصنوعی ⚡️مدرس: 👨‍💻 سید احمد میرصانعی نامزد دکتری تخصصی منطق فلسفی دانشگاه تربیت مدرس| پژوهشگر منطق و هوش مصنوعی 📚 سرفصل‌های کارگاه: ☑️ جایگاه منطق در هوش مصنوعی ☑️ منطق، گراف دانش و وب معنایی ☑️ منطق‌های توصیفی (DLs) ☑️ روش‌های محاسباتی الگوریتمیک منطقی ☑️ استنتاج‌گرهای منطقی ☑️ زبان هستی‌شناسی وب (ΟWL) و استاندارهای پایه (RDF و RDFS) ☑️ تعریف و ساختار گراف‌های دانش ☑️ مدل‌سازی دانش با منطق توصیفی و گراف‌های دانش ☑️ هوش مصنوعی نمادین (Symbolic AI) ☑️ تلفیق Symbolic AI و یادگیری ماشین ☑️ کار با نرم‌افزار Protégé ☑️ چالش‌ها: پیچیدگی محاسبات، مقیاس‌پذیری، عدم قطعیت و ... ☑️ مسیرهای پژوهشی جدید ⏳ مدت زمان کارگاه: ۶ ساعته 📆 تاریخ برگزاری کارگاه: چهارشنبه، ۱۶ و ۲۳ مهر ۱۴۰۴/ ساعت ۹ الی ۱۲ 📍 نحوه برگزاری: #حضوری_مجازی 💳 هزینه‌ی ثبت‌نام: ۲۵۰ هزار تومان (با تخفیف ویژه برای دانشجویان امیرکبیر) با گواهی‌نامه انجمن منطق ایران 🔗 ثبت‌نام: https://mohit.online/event/3pnsqr

🔺دوره‌ای دیگر در منطق ریاضی «Mathematical Logic» [تخصصی‌تر از ویدئوهای قبلی]، این بار در دانشگاه صنعتی اصفهان🔺 در این جلسات قضایای ناتمامیت و ناسازگاری کورت گودل نیز تشریح می‌شوند، از این جهت شاید برای علاقمندان به انواع گرایشات منطق، فلسفه ریاضی و متاریاضی نیز جالب باشد. مدرس:👇👇 👤دکتر محسن خانی (لیسانس ریاضیات از دانشگاه صنعتی‌امیرکبیر پلی‌تکنیک تهران، فوق لیسانس ریاضی‌محض از دانشگاه صنعتی‌اصفهان، دکتری و فوق دکترا در دانشگاه آلبرت‌لُدویگ فرایبورگ آلمان و دانشگاه منچستر و آکسفورد انگلستان) Researchgate, Esfahan University of Technology. ⬅️ سلسله جلسات منطق ریاضی دکتر خانی در آپارات:👇👇 https://www.aparat.com/v/hYcHi?playlist=295290 https://www.aparat.com/v/Jfr8v?playlist=1239765 دیگر کلاس‌های‌ فیلم‌برداری‌شده ایشان در حوزه‌های زیر موجود است:👇👇 ریاضی عمومی 1 و 2، توپولوژی، جبر، مبانی علوم ریاضی، نظریه گالوا، هندسه جبری حقیقی، نظریه مدل‌ها، درسهائی درباره‌ی مجموعه‌های شبه‌جبری و زیرتحلیلی، حذف سور در میدان‌های ارزیابی بستهٔ جبری، نظریه‌ی مجموعه‌های پیشرفته و امثالهم. (پی‌نوشت: هایپرلینک کل جزوات و یادداشت‌های تمامیه کلاس‌های ایشان در قالب PDFهای تایپ‌شده، از جمله جزوات منطق ریاضی) @ReligionandScience2021

#تبادل_پیام 👇👇👇

#تبادل

🔴 پنجمین مدرسه بین‌المللی فانوس 📌 با موضوع: خداباوری و علوم طبیعی؛ فیزیک و علوم شناختی 💢 دانشگاه‌صنعتی‌شریف 🟠 با حضور ۱۲ استاد برجسته بین‌المللی و ایرانی (به مدت ۴ روز) 🔸🔸 ۲۱ تا ۲۴ مهرماه ۱۴۰۴ 🔸🔸 به صورت مجازی 🔺مهلت ثبت نام: ۱۸ مهرماه ۱۴۰۴ 💢 لینک ثبت نام: https://theismschool.com/ثبت-نام/ ارتباط با ما: 🆔 @advertis_manager ➖➖➖➖➖➖ 💟  Inst: Fanoos 🆔  Tele: Fanoos

📚 کتاب منطق سمرقندی توسط انتشارات مؤسسۀ پژوهشی حکمت و فلسفۀ ایران منتشر شد. 💠 انجمن منطق ایران انتشار این اثر ارزشمند را به جناب آقای دکتر فلاحی تبریک عرض می‌نماید. @iranlogic

ضمن یادآوری سخنرانی حضوری-مجازی امروز ساعت ۱۶، مکان سخنرانی از اتاق ۳۱۱ به اتاق ۳۱۳ تغییر یافت.

کمیته آموزش انجمن منطق ایران با همکاری انجمن علمی دانشجویی دانشکده ریاضی و علوم کامپیوتر دانشگاه امیر کبیر برگزار می‌کند: کارگاه دو روزه منطق در هوش مصنوعی https://mohit.online/event/3pnsqr

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

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

#poster The 13th Annual Conference of the Iranian Logic Association