محققان در یک پژوهش جدید و جالب، از علوم کامپیوتر برای تحلیل روشهای فقهی سنتی استفاده کردهاند. این مقاله با فرمولبندی «سبر و تقسیم» (از روشهای اصولی استنباط حکم)، الگوریتمی طراحی کرده که میتواند با استفاده از جداول حقیقت (Truth Tables)، احکام شرعی را به صورت منطقی پردازش و عوامل اضافی را حذف کند.
این رویکرد نشان میدهد که چطور مدلسازی ریاضی میتواند به ساختاریافتهتر شدن استدلالهای حقوقی و فقهی کمک کند. گامی نوآورانه که پل میان علوم داده و متون کلاسیک است! ⚖️💻
منبع: arXiv AI