Preferential entailment
ترجیحی محرک ایک غیر یکسوئی منطق ہے جو صرف ان ماڈلز کے انتخاب پر مبنی ہے جنہیں سب سے زیادہ قابل فہم سمجھا جاتا ہے۔ ماڈلز کی امکانات کا اظہار ماڈلز کے درمیان ترتیب کے ذریعے کیا جاتا ہے جسے ترجیحی تعلق کہا جاتا ہے، اس لیے نام کی ترجیح شامل ہوتی ہے۔ رسمی طور پر، ایک پروپوزیشنل فارمولہ اور پروپوزیشنل ماڈلز پر آرڈر دیتے ہوئے، ترجیحی اندراج صرف ان ماڈلز کا انتخاب کرتا ہے جو اس کے مطابق کم سے کم ہیں۔ یہ انتخاب ایک غیر یکسوئی تخمینہ تعلق کی طرف لے جاتا ہے: صرف اس صورت میں برقرار رہتا ہے جب کے مطابق کے تمام کم سے کم ماڈل بھی کے ماڈل ہوں۔ سرکم اسکرپشن کو ترجیحی اندراج کے مخصوص معاملے کے طور پر دیکھا جا سکتا ہے جب آرڈر ٹرو (پروپوزیشنل کیس میں) کو تفویض کردہ متغیرات کے سیٹوں کی روک تھام یا پیش گوئیوں کی توسیع کو روکنے (فرسٹ آرڈر منطق کیس میں) پر مبنی ہوتا ہے۔ کمپیوٹر سائنس میں حوالہ جات منطق بھی دیکھیں علم کی نمائندگی غیر کلاسیکی منطق