استفاده از مدل های زبانی بزرگ و حل کننده های SMTدر تحلیل استدلال های منطقی متون دینی: مطالعه موردی سوره عصر

با گسترش روش های نوروسیمبولیک، ترکیب مدل های زبانی بزرگ با حل کننده های منطقی، امکان تحلیل دقیق استدلال های پیچیده در متون غیرفنی فراهم شده است. در این مطالعه، چارچوبی برای بازنمایی و اعتبارسنجی منطقی استدلال های قرآنی ارائه شده و سوره «عصر» به عنوان مطالعه موردی انتخاب گردید. تبدیل متن سوره «عصر» به گزاره های منطقی هم به صورت دستی و هم به کمک مدل زبانی انجام شد. تبدیل گزاره های منطقی به فرمت قابل تحلیل توسط حل کننده یZ۳ به صورت دستی انجام گرفت و بازخوردها نیز به صورت انسانی اعمال شدند تا دقت و سازگاری منطقی افزایش یابد. به ویژه، اجرای دستی کد Z۳ منجر به شناسایی صحیح پاسخ شد که بیانگر موفقیت رویکرد پیشنهادی در استنتاج منطقی از متون دینی است. نتایج نشان می دهد که چالش های قابل توجهی در تبدیل خودکار متون معنایی به منطق دقیق وجود دارد. همچنین، با استفاده از داده های منسجم قرآنی می توان مدل های زبانی را برای فاین تیون آموزش داد تا فرآیند تبدیل خودکار به صورت دقیق تر و موثرتری انجام شود. این مطالعه گامی مهم در توسعه سامانه های استنتاج منطقی هوشمند برای تحلیل متون دینی به شمار می آید و پیشنهاداتی برای مسیرهای آتی در حوزه استدلال متون قرآنی ارائه می دهد.

کلیدواژه ها:

مدل های زبانی بزرگ ، حل کننده های نمادین ، استدلال منطقی ، تحلیل متون دینی ، Z۳