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