شرکت برهان

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

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

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

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

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

تا پیش از 1402 نسخه‌هایی که برای استدلالگر تهیه شده بود، همگی در قالب افزونه (Plug-in) برای پروتژه (#Protege) یکی از معروف‌ترین ویرایشگرهای هستان‌نگاری انجام میشد. مجموعه برهان با توسعه‌ای که در تیم خود داشته است، تصمیم به طراحی ویرایشگر Boronto گرفته و این پروژه در مرحله تحقیقات و توسعه است. همچنین استدلالگر نیز از قالب افزونه خارج شده و تبدیل به استدلالگری «مستقل از پلتفرم» (Platform-independent) شد. افزون بر این، برای بهینه کردن فرآیند استدلال‌ورزی – مخصوصا در دادگان کلان – مجموعه برهان موفق شد که استدلالگر را به صورت افزایشی (Incremental) درآورده و آن را به‌روز رسانی کند.

برهان سرانجام در اواخر سال 1402 به طور رسمی ثبت شد و در ادامه در تابستان 1403 استدلالگر پرقدرت برهان با نام PIE مخفف (Platform-independent و Incremental و Expandable) به مرحله انتشار عمومی و نهایی نزدیک شده است و برای استفاده از آن، مجموعه برهان یک ویکی مخصوص برای تبیین و آموزش الگوهای جملات روزمره و قانونی به زبان وب معنایی در قالب wiki را نیز در دستور کار خود دارد.

وب معنایی چیست؟

وب معنایی یک المپیک است. المپیکی برای قهرمانان علوم مختلف و این المپیک زمانی پرشورتر می شود که بهترین ها در رشته های مرتبط گرد هم آیند.

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

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

محور تیم ما، صمیمت، سخت کوشی و همکاری است و اگرچه تیم ما جوان هست ولی تا کنون با همین رویکرد، محصولات ارزشمندی در زمینه وب معنایی تولید کردیم.

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