Preferential entailment
अधिमान्य प्रवेश एक गैर-एकरस तर्क है जो केवल उन मॉडलों के चयन पर आधारित है जिन्हें सबसे अधिक प्रशंसनीय माना जाता है। मॉडलों की संभाव्यता को मॉडलों के बीच एक क्रम द्वारा व्यक्त किया जाता है जिसे वरीयता संबंध कहा जाता है, इसलिए नाम वरीयता निहित है। औपचारिक रूप से, एक प्रस्तावक सूत्र और प्रस्तावक मॉडल पर एक क्रम को देखते हुए, अधिमान्य प्रवेश केवल उन मॉडलों का चयन करता है जो न्यूनतम हैं। यह चयन एक गैर-मोनोटोनिक अनुमान संबंध की ओर ले जाता हैः यदि और केवल तभी लागू होता है जब के अनुसार के सभी न्यूनतम मॉडल भी के मॉडल हैं। सरकमस्क्रिप्शन को अधिमानी प्रवेश के विशेष मामले के रूप में देखा जा सकता है जब आदेश सही (प्रस्तावक मामले में) को सौंपे गए चर के सेट के नियंत्रण या विधेय के विस्तार के नियंत्रण (प्रथम-क्रम तर्क मामले में) पर आधारित होता है। कंप्यूटर विज्ञान में संदर्भ तर्क भी देखें ज्ञान प्रतिनिधित्व गैर-शास्त्रीय तर्क