Preferential entailment
முன்னுரிமை என்டைல்மென்ட் என்பது மிகவும் நம்பத்தகுந்ததாகக் கருதப்படும் மாதிரிகளை மட்டுமே தேர்ந்தெடுப்பதன் அடிப்படையில் ஒரு மோனோடோனிக் அல்லாத தர்க்கமாகும். மாதிரிகளின் நம்பகத்தன்மை முன்னுரிமை உறவு என்று அழைக்கப்படும் மாதிரிகள் இடையே ஒரு வரிசை மூலம் வெளிப்படுத்தப்படுகிறது, எனவே பெயர் முன்னுரிமை குறிக்கிறது. முறைப்படி, ஒரு முன்மொழிவு சூத்திரம் மற்றும் முன்மொழிவு மாதிரிகளை விட ஒரு வரிசை கொடுக்கப்பட்டால், முன்னுரிமை என்டைல்மென்ட் அதன் மாதிரிகளை மட்டுமே தேர்ந்தெடுக்கிறது. இந்த தேர்வு ஒரு மோனோடோனிக் அல்லாத அனுமான உறவுக்கு வழிவகுக்கிறதுஃ அனைத்து குறைந்தபட்ச மாதிரிகளும் மாதிரிகளாக இருந்தால் மட்டுமே. உண்மைக்கு ஒதுக்கப்பட்ட மாறிகளின் தொகுப்புகளைக் கட்டுப்படுத்துதல் (முன்மொழிவு வழக்கில்) அல்லது முன்கணிப்புகளின் நீட்டிப்புகளைக் கட்டுப்படுத்துதல் (முதல்-வரிசை தர்க்க வழக்கில்) ஆகியவற்றின் அடிப்படையில் வரிசைப்படுத்தல் இருக்கும்போது சுற்றறிக்கையை முன்னுரிமை தூண்டுதலின் குறிப்பிட்ட நிகழ்வாகக் காணலாம். மேலும் காண்க குறிப்புகள் கணினி அறிவியலில் தர்க்கம் அறிவு பிரதிநிதித்துவம் பாரம்பரியமற்ற தர்க்கம்