Preferential entailment
ಆದ್ಯತೆಯ ಪ್ರವೇಶವು ಅತ್ಯಂತ ಸಮರ್ಥನೀಯವೆಂದು ಪರಿಗಣಿಸಲಾದ ಮಾದರಿಗಳನ್ನು ಮಾತ್ರ ಆಯ್ಕೆ ಮಾಡುವುದರ ಆಧಾರದ ಮೇಲೆ ಏಕರೂಪವಲ್ಲದ ತರ್ಕವಾಗಿದೆ. ಮಾದರಿಗಳ ಸಂಭವನೀಯತೆಯನ್ನು ಆದ್ಯತೆ ಸಂಬಂಧ ಎಂದು ಕರೆಯಲಾಗುವ ಮಾದರಿಗಳ ನಡುವಿನ ಕ್ರಮದಿಂದ ವ್ಯಕ್ತಪಡಿಸಲಾಗುತ್ತದೆ, ಆದ್ದರಿಂದ ಈ ಹೆಸರು ಆದ್ಯತೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಔಪಚಾರಿಕವಾಗಿ, ಪ್ರತಿಪಾದನೆಯ ಸೂತ್ರ ಮತ್ತು ಪ್ರತಿಪಾದನೆಯ ಮಾದರಿಗಳ ಮೇಲೆ ಕ್ರಮವನ್ನು ನೀಡಿದರೆ, ಆದ್ಯತೆಯ ಪ್ರವೇಶವು ಅದರ ಪ್ರಕಾರ ಕನಿಷ್ಠ ಮಾದರಿಗಳನ್ನು ಮಾತ್ರ ಆಯ್ಕೆ ಮಾಡುತ್ತದೆ. ಈ ಆಯ್ಕೆಯು ಏಕರೂಪವಲ್ಲದ ತೀರ್ಮಾನ ಸಂಬಂಧಕ್ಕೆ ಕಾರಣವಾಗುತ್ತದೆಃ ಎಲ್ಲಾ ಕನಿಷ್ಠ ಮಾದರಿಗಳು ಸಹ ಮಾದರಿಗಳಾಗಿದ್ದರೆ ಮತ್ತು ಇದ್ದರೆ ಮಾತ್ರ. ಕ್ರಮವು ನಿಜಕ್ಕೆ (ಪ್ರತಿಪಾದನೆಯ ಸಂದರ್ಭದಲ್ಲಿ) ನಿಗದಿಪಡಿಸಲಾದ ಅಸ್ಥಿರಗಳ ಸೆಟ್ಗಳ ನಿಯಂತ್ರಣವನ್ನು ಅಥವಾ ಭವಿಷ್ಯವಾಣಿಯ ವಿಸ್ತರಣೆಗಳ ನಿಯಂತ್ರಣವನ್ನು (ಮೊದಲ-ಕ್ರಮಾಂಕದ ತರ್ಕದ ಸಂದರ್ಭದಲ್ಲಿ) ಆಧರಿಸಿದಾಗ ಸುತ್ತೋಲೆಯನ್ನು ಆದ್ಯತೆಯ ಪ್ರವೇಶದ ನಿರ್ದಿಷ್ಟ ಪ್ರಕರಣವಾಗಿ ನೋಡಬಹುದು. ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ರೆಫರೆನ್ಸಸ್ ಲಾಜಿಕ್ ಅನ್ನು ಸಹ ನೋಡಿ ಜ್ಞಾನದ ಪ್ರಾತಿನಿಧ್ಯ ಶಾಸ್ತ್ರೀಯವಲ್ಲದ ತರ್ಕ