Borhan

انتخاب دیتابیس مناسب: رونق گرفتن دیتابیس‌های گرافی امروزه شرکتها و نهادهای مختلف با یک تصمیم مهم روبرو شده اند: آیا لازم است به جای سرمایه‌گذاری روی پایگاه‌های داده رابطه‌ای سنتی از قدرت نوظهور دیتابیس‌های گرافی استفاده کنند؟ پایگاه‌های داده رابطه‌ای مدت‌ها…

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

اولین پیش‌نشست سازمان‌دهی دانش، ۳ مهر ۱۴۰۳ برگزار خواهد شد. اولین پیش‌نشست سازمان‌دهی دانش، با عنوان «نقش هستان‌نگاری در هوش مصنوعی» روز سه‌شنبه، ۳ مهرماه ۱۴۰۳ ساعت ۱۷ تا ۱۹ به‌ صورت مجازی و در فضای ادوبی کانکت هشتمین کنگره سالانه متخصصان علوم اطلاعات به آدرس اینترنتی https://vc10.Semnan.ac.ir/ilisacongress8/ برگزار خواهد شد. مهمان این پیش‌نشست مهندس محمد گیوه‌چی (آنتولوژیست و مهندس دانش در برهان) می‌باشند. _ با ما همراه باشید: 🟠 @borhan_onto 🟣 Borhan-Onto.ir

📣 سخنرانیِ ماهانه‌ی انجمن منطق ایران تاریخ: چهارشنبه 7 شهریور 1403، ساعت 16 الی 18 (تاریخ سخنرانی به درخواست سخنران و به دلیلی تعطیلی مؤسسات و دانشگاه‌ها جابجا شد.) عنوان: ویژگی موضعاً جدولی در منطق ربط سخنران: دکتر امیرحسین شرفی (عضو تیم طراحی استدلالگر برهان) سخنرانی به صورت مجازی و به میزبانی مؤسسه‌ی پژوهشی حکمت و فلسفه ایران برگزار خواهد شد. لازم به ذکر است در صورت فراهم شدن شرایط از طرف میزبان، رویداد به صورت حضوری هم برگزار خواهد شد. پیوند سخنرانی برخط (آنلاین): 🔗 https://www.skyroom.online/ch/ialogic/ialogic _ با ما همراه باشید: 🟠 @borhan_onto 🟣 Borhan-Onto.ir

📣 شرکت NVIDIA استفاده از مدل‌های متن‌بازی هم‌چون Llama 3.1-405b را در اختیار همگان قرار داد. حتی با ساخت اکانت با ایمیل‌های غیر تجاری نیز می‌توانید از API های جذابی بهره‌مند شوید!! https://build.nvidia.com/explore/discover‌ ______ با ما همراه باشید 🟠 @borhan_onto 🟣 Borhan-Onto.ir

📣 «هستی شناسی کاربردی، دانشی جدید که جامعه علمی ایران از آن غافل است!» گزارش وکنا از سمینار قبل برهان در تاریخ 7 مرداد ماه را در این لینک بخوانید. _____ با ما همراه باشید: 🟠 @borhan_onto 🟣 Borhan-Onto.ir

📣 قابل توجه علاقه‌مندان فلسفه، علم داده و علوم کامپیوتر 🟠 برهان برگزار می‌کند: سمینار رایگان برای آشنایی با کاربردها، فرصت‌های شغلی، تحصیلی و پژوهشی «هستی‌شناسی کاربردی» 🟣 ارائه دهنده: علی حسن‌زاده دانشجوی دکتری هستی‌شناسی کاربردی دانشگاه Arizona state …

Borhan pinned a photo

معرفی شرکت برهان 🟠 شرکت #برهان (برهان رایانشی هوشمند آموزه‌های نور) یک مجموعه پژوهشی-صنعتی‌ست که در حوزه #وب‌معنایی و #هستی‌شناسی فعالیت می‌کند. تیم برهان از اعضای متنوعی تشکیل شده که هرکدام در دانش‌های منطق، فلسفه، وب‌معنایی و برنامه‌نویسی و همچنین دانش‌های مختلف در حوزه‌های متنوع علوم انسانی فعالیت کرده و در مجموع تیم توانمندی را تشکیل داده است. 🟣 مجموعه برهان فعالیت خود را در سال ۱۳۹۹ با هدف توسعه نرم‌افزاری استدلالگرها برای پشتیبانی از سیستم‌های منطقی متنوع آغاز کرده است. استدلالگرهای موجود در فناوری #وب‌معنایی، مختص به #منطق_توصیفی هستند درحالی که توسعه وب معنایی به حوزه‌های مختلف دانش، نیازمند پشتیبانی از منطق‌های متنوع است. مجموعه برهان با یافتن این نیاز برای بازنمایی دانش در حوزه‌های مختلف اطلاعات، فرآیند آغاز تولید استدلالگر را از ۱۳۹۹ آغاز کرده و بدین ترتیب استدلالگری که از #منطق_تکلیف و #منطق_پیشفرض پشتیبانی کند، ایجاد کرده است. 🟠 از آنجا که توسعه استدلالگر و پشتیبانی از سیستم‌های منطقی، نیازمند به توسعه هستان‌نگارهای متناسب با آن است، مجموعه برهان در نقشه‌ی راه خود طراحی هستان‌نگارها را قرار داده و این مسیر را از سال ۱۳۹۹ با پژوهش و انتشار نسخه اولیه هستان‌نگارها آغاز کرده است. در این مسیر، #هستان‌نگار_فوقانی (Upper Ontology) و هسته‌های زمان، تکلیف و... (Core) طراحی شده و اصول موضوعی مربوط به آنها نگاشته شده و همچنان در حال توسعه هستند. 🟣 برهان سخت‌کوشانه مسیر خود را ادامه داده و در سال ۱۴۰۰ پشتیبانی از #منطق_پویای_زمانی و سپس #منطق_تکلیف را در نسخه آلفا به اتمام رسانده و توسعه استدلالگر برای پشتیبانی از #منطق_احتمالات و بهترین‌تبیین و #منطق‌های_مرتبه_دو آغاز کرده است. در حال حاضر نسخه آلفای استدلالگر از تمامی این منطق‌ها پشتیبانی می‌کند. 🟠 تا پیش از ۱۴۰۲ نسخه‌هایی که برای استدلالگر تهیه شده بود، همگی در قالب افزونه (Plug-in) برای پروتژه (#Protege) یکی از معروف‌ترین ویرایشگرهای هستان‌نگاری انجام میشد. مجموعه برهان با توسعه‌ای که در تیم خود داشته است، تصمیم به طراحی ویرایشگر #Boronto گرفته و این پروژه در مرحله تحقیقات و توسعه است. همچنین استدلالگر نیز از قالب افزونه خارج شده و تبدیل به استدلالگری «مستقل از پلتفرم» (Platform-independent) شد. افزون بر این، برای بهینه کردن فرآیند استدلال‌ورزی - مخصوصا در دادگان کلان - مجموعه برهان موفق شد که استدلالگر را به صورت افزایشی (Incremental) درآورده و آن را به‌روز رسانی کند. 🟣 در نهایت در تابستان ۱۴۰۳ استدلالگر پرقدرت برهان با نام #PIE مخفف (Platform-independent و Incremental و Expandable) به مرحله انتشار عمومی و نهایی نزدیک شده است و برای استفاده از آن، مجموعه برهان یک ویکی مخصوص برای تبیین و آموزش الگوهای جملات روزمره و قانونی به زبان وب معنایی در قالب #wiki را نیز از اسفند ۱۴۰۲ آغاز کرده است. @Borhan_Onto

📣 قابل توجه علاقه‌مندان فلسفه، علم داده و علوم کامپیوتر 🟠 برهان برگزار می‌کند: سمینار رایگان برای آشنایی با کاربردها، فرصت‌های شغلی، تحصیلی و پژوهشی «هستی‌شناسی کاربردی» 🟣 ارائه دهنده: علی حسن‌زاده دانشجوی دکتری هستی‌شناسی کاربردی دانشگاه Arizona state زمان برگزاری: ۷ مرداد ۴۰۳، ساعت ۶ عصر برای دریافت لینک ورود به سمینار و اطلاعات بیشتر: https://borhan-onto.ir/fa/سمینار-هستی-شناسی-کاربردی در صورت تمایل به شرکت، پر کردن فرم اختیاری‌ست @Borhan_Onto

وب معنایی یک المپیک است. المپیکی برای قهرمانان علوم مختلف و این المپیک زمانی پرشورتر می شود که بهترین‌ها در رشته های مرتبط گرد هم آیند. ما در برهان میزبان این المپیک هستیم و با نخبگان رشته های مختلف، بهترین خدمات بازنمایی دانش و استدلال را ایجاد می‌کنیم. خدماتی مانند بازیابی دقیق اطلاعات، قابلیت استفاده مجدد دانش مدل شده، استدلال ماشینی در منطق‌های مختلف، تشخیص تضاد و …. برای رسیدن به این تیم نخبه، چابک، با انگیزه و جوان در خصوص برنامه نویسی و هوش مصنوعی با آزمایشگاه داده کاوی دانشکده کامپیوتر دانشگاه علم وصنعت (دکتر مینایی) در ارتباط هستیم و در خصوص مباحث فلسفی و منطقی با حوزه علمیه قم، دانشگاه تربیت مدرس و … مرتبط می باشیم. ماموریت اصلی ما این است که به کمک فناوری‌های وب معنایی (آنچه به طور شایع وجود دارد و آنچه در برهان طراحی و پیاده سازی کرده‌ایم) بتوانیم محصولات، خدمات و خواسته های شما را بهبود بخشیم تا شما آنچه را قبلا انجام می دادید، اکنون در زمان کمتر و با دقت بیشتر و کیفیت بالاتر انجام دهید. @Borhan_Onto

Channel photo updated

Channel created