نمونه ای از یک مدلسازی ریاضی به عنوان واسطه ای بین علوم اسلامی و هوش مصنوعی

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