قاضی و دستیار وکیل مصنوعی برهان بر پایه هستان نگارها
علوم عقلی، علوم قضایی و حقوقی پیچیده ترین اَشکال استدلالی را دارند. اساساً بر اساس داده های تاریخی، منشأ منطق از دادگاه های یونان باستان می آید. پیچیدگی استدلال های قضایی و قانونی از حجم زیادی از داده ها، قوانین و روابط بین این پارامترها ناشی می شود. در نتیجه، ادراک ماشینی چنین دامنه هایی یکی از چالش های بزرگ برای هوش مصنوعی و دانشمندان کامپیوتر است. علاوه بر این، فقه اسلامی و اصول فقه دو رشته ای هستند که به عنوان منابع حقوق اسلامی نقش عمده ای دارند.
ما در تیم برهان برای ساختن هستان نگارهای فوقانی و میانی فقه و اصول، حوزه اصلی قضایی و حقوقی اسلامی، تلاش کردیم. در نهایت، پس از ساخت چنین هستان نگارهایی، یک استدلال گر توضیح پذیر، بر اساس منطق‌های توصیفی، فازی و غیر یکنواخت در میان دیگر منطق‌های غیرکلاسیک ایجاد کرده‌ایم. این محصول هوش مصنوعی یک استدلال گر هوشمند است که به عنوان خدماتی برای یک «قاضی مصنوعی» و «دستیار وکیل» است.