Preferential entailment
প্রেফারেন্সিয়াল এনটেলমেন্ট হল একটি অ-একঘেয়ে যুক্তি যা শুধুমাত্র এমন মডেল নির্বাচন করার উপর ভিত্তি করে যা সবচেয়ে প্রশংসনীয় বলে বিবেচিত হয়। মডেলগুলির যৌক্তিকতা মডেলগুলির মধ্যে একটি ক্রম দ্বারা প্রকাশ করা হয় যাকে পছন্দের সম্পর্ক বলা হয়, তাই নাম পছন্দ বোঝায়। আনুষ্ঠানিকভাবে, একটি প্রস্তাবনামূলক সূত্র এবং প্রস্তাবনামূলক মডেলের উপর একটি ক্রম দেওয়া হলে, প্রেফারেন্সিয়াল এনটেলমেন্ট শুধুমাত্র সেই মডেলগুলি নির্বাচন করে যা অনুযায়ী ন্যূনতম। এই নির্বাচনটি একটি অ-একঘেয়ে অনুমানের সম্পর্কের দিকে পরিচালিত করেঃ যদি এবং শুধুমাত্র যদি সমস্ত ন্যূনতম মডেলগুলিও এর মডেল হয়। সারকামস্ক্রিপশনকে প্রেফারেন্সিয়াল এনটেলমেন্টের নির্দিষ্ট কেস হিসাবে দেখা যেতে পারে যখন অর্ডারটি সত্যের জন্য নির্ধারিত ভেরিয়েবলের সেটগুলির নিয়ন্ত্রণের উপর ভিত্তি করে (প্রস্তাবনামূলক ক্ষেত্রে) বা প্রেডিকেটগুলির এক্সটেনশনগুলির নিয়ন্ত্রণের উপর ভিত্তি করে (প্রথম-অর্ডার লজিক ক্ষেত্রে)। আরও দেখুন তথ্যসূত্র কম্পিউটার বিজ্ঞানে যুক্তি জ্ঞানের উপস্থাপনা অ-ধ্রুপদী যুক্তি