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