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

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

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

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

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

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

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

گروه علمی دین و فضای مجازی برگزار می‌کند جلسه دفاع پایان نامه سطح ۳ 💠عنوان: «بررسی میزان حسی یا حدسی بودن گزارش‌های فهرست نجاشی به کمک گراف دانش» 📝استاد راهنما : دکتر بهروز مینایی 📝استاد داور: حجت الاسلام جمال الدین حیدری فطرت ✏️ ارائه دهنده: حجت‌الاسلام علیرضا شهبازی 🕗 زمان: چهارشنبه مورخ ۱۴۰۳/۰۶/۲۸ ساعت ۱۷:۰۰ 🏢مکان جلسه: بلوار جمهوری اسلامی، مرکز تحقیقات کامپیوتری علوم اسلامی نور 🔷(گروه علمی دین و فضای مجازی)🔷

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

💥محصول GraphRAG+ و خداحافظی با جستجوی پیشرفته 🟠 با ترکیب فناوری‌های معنایی همچون گراف دانش، هستان‌نگاری و استنتاج ماشینی با مدل‌های زبانی بزرگ، محصولی را فراهم کردیم که شما را از منوهای پیچیده برای جستجوی خود بی نیاز می کند: بازیابی دقیق گراف محور _ با ما همراه باشید: 🟠 @borhan_onto 🟣 Borhan-Onto.ir

#استخدام #برنامه‌نویس Vue.js) Front-End) 🛑 مهارت‌های ضروری: تسلط کامل بر فریمورک #جاوا_اسکریپت Vue.js و Vuetify آشنایی عمیق با HTML، CSS و اصول برنامه‌نویسی شیءگرا (OOP) تسلط کامل به طراحی و توسعه APIهای RESTful استفاده از سیستم کنترل نسخه Git توانایی خواندن و درک متون تخصصی به زبان انگلیسی 🟠 مهارت‌های امتیازی: آشنایی با پایگاه‌های داده گراف، مفاهیم #وب_معنایی آشنایی اصول طراحی رابط کاربری (UI/UX) تجربه کار با ابزارهای طراحی گرافیکی مانند Figma 🟣 ویژگی‌های شخصیتی: روحیه همکاری بالا و تعهد به کار علاقه‌مندی به یادگیری مداوم و حل چالش‌های فنی تجربه یا توانایی انجام تحقیقات و توسعه (R&D) توانایی مدیریت موثر زمان و وظایف محوله رفتار حرفه‌ای و مسئولیت‌پذیری 🟠 مزایای همکاری: محیط کار پویا و صمیمی ساعت کاری منعطف بیمه کامل و فرصت‌های یادگیری مستمر آَشنا شدن با هوش مصنوعی توضیح پذیر امکان تعطیلی پنجشنبه‌ها با رعایت شرایط خاص #فرانت #فرانت_اند #فرانت‌اند #آگهی_استخدام 🟣 در این موقعیت شغلی، شما به عنوان یک توسعه‌دهنده فرانت‌اند، مسئولیت توسعه و پشتیبانی سایتی که بخش‌های زیادی از آن پیاده سازی شده است را خواهد داشت. اگر به تکنولوژی‌های وب آمیخته به فناوری‌های نوین علاقه‌مند هستید و به دنبال یک محیط کاری پویا و چالش‌برانگیز می‌گردید، به ما بپیوندید. لینک جابینجا تقدیم به شما ❤️ _ با ما همراه باشید: 🟠 @borhan_onto 🟣 Borhan-Onto.ir