Preferential entailment
પ્રેફરન્શિયલ એન્ટેલમેન્ટ એ નોન-મોનોટોનિક તર્ક છે જે ફક્ત એવા મોડેલ્સ પસંદ કરવા પર આધારિત છે જેને સૌથી વધુ બુદ્ધિગમ્ય માનવામાં આવે છે. મોડેલોની સંભવિતતા પસંદગી સંબંધ તરીકે ઓળખાતા મોડેલો વચ્ચેના ક્રમ દ્વારા વ્યક્ત કરવામાં આવે છે, તેથી નામ પસંદગીનો સમાવેશ થાય છે. ઔપચારિક રીતે, પ્રપોઝિશનલ ફોર્મ્યુલા આપવામાં આવે છે અને પ્રપોઝિશનલ મોડલ્સ પર ઓર્ડર આપવામાં આવે છે, પ્રેફરેન્શિયલ એન્ટેલમેન્ટ ફક્ત તેના મોડેલ્સની પસંદગી કરે છે જે તેના અનુસાર ન્યૂનતમ હોય છે. આ પસંદગી બિન-એકવિધ અનુમાન સંબંધ તરફ દોરી જાય છેઃ જો અને માત્ર ત્યારે જ માન્ય રહે છે જો અનુસારના તમામ ન્યૂનતમ નમૂનાઓ પણ તેના નમૂનાઓ હોય. સર્કમસ્ક્રિપ્શનને પ્રેફરેન્શિયલ એન્ટેલમેન્ટના ચોક્કસ કેસ તરીકે જોઈ શકાય છે જ્યારે ઓર્ડર સાચું (પ્રપોઝિશનલ કેસમાં) ને સોંપવામાં આવેલા ચલોના સમૂહના નિયંત્રણ અથવા આગાહીઓના વિસ્તરણના નિયંત્રણ (પ્રથમ ક્રમના તર્કના કિસ્સામાં) પર આધારિત હોય છે. કોમ્પ્યુટર વિજ્ઞાનમાં સંદર્ભો તર્ક પણ જુઓ જ્ઞાન પ્રતિનિધિત્વ બિન-શાસ્ત્રીય તર્ક