ProbLog
પ્રોબલોગ એ સંભવિત તર્ક પ્રોગ્રામિંગ છે જે સંભાવનાઓ સાથે પ્રોલોગને વિસ્તરે છે. તે સંભવિત હકીકતની કલ્પનાને ઉમેરીને પ્રોલોગને ઓછામાં ઓછું વિસ્તરે છે, જે તર્ક પરમાણુઓ અને રેન્ડમ વેરિયેબલ્સના વિચારને જોડે છે. એ જ રીતે પ્રોલોગ માટે, પ્રોબલોગ અણુની પૂછપરછ કરી શકે છે. જ્યારે પ્રોલોગ પૂછવામાં આવેલા અણુનું સત્ય મૂલ્ય આપે છે, ત્યારે પ્રોબલોગ તે સાચું હોવાની સંભાવના આપે છે. શબ્દાર્થ એક સંભવિત હકીકત એ અણુ સાથેની જોડી અને સાચું હોવાની સંભાવના છે. એક નિયમને અણુ દ્વારા વ્યાખ્યાયિત કરવામાં આવે છે, જેને હેડ કહેવાય છે, અને શાબ્દિક શબ્દોનો મર્યાદિત સમૂહ, જેને બોડી કહેવાય છે. પ્રોબલોગ કાર્યક્રમોમાં સંભવિત તથ્યોનો સમૂહ અને નિયમોનો સમૂહ હોય છે. વિતરણ સિમેન્ટિક્સનો ઉપયોગ કરીને, પ્રોગ્રામમાં અણુઓના બે-મૂલ્યવાન સારી રીતે સ્થાપિત મોડેલો પર સંભાવના વિતરણને વ્યાખ્યાયિત કરવામાં આવે છે. મોડેલની સંભાવનાને વ્યાખ્યાયિત કરવામાં આવે છે કે જ્યાં ઉત્પાદન મોડેલના તમામ અક્ષરો પર ચાલે છે. ક્વેરી અણુ માટે વિતરણ સિમેન્ટિક્સ ક્વેરી માટેની સંભાવનાને વ્યાખ્યાયિત કરે છે જેમાં સરવાળો તમામ મોડેલો પર ચાલે છે જ્યાં સાચું છે. પ્રોબલોગ બહુવિધ કાર્યોને ટેકો આપે છેઃ સંભવિત અનુમાનઃ સૌથી વધુ સંભવિત સમજૂતીની ગણતરીઃ સૌથી સંભવિત મોડેલ સંભાવના નમૂનાની ગણતરીઃ અર્થઘટનમાંથી શીખવાના નમૂનાઓ બનાવોઃ ડેટામાંથી પ્રોબલોગ પ્રોગ્રામ્સની સંભાવનાઓ શીખો ઉદાહરણ તરીકે પ્રોબલોગનો ઉપયોગ વરસાદની સંભાવનાઓ અને કોઈ વ્યક્તિ નીચે પ્રમાણે છત્ર લાવે તેવી સંભાવનાઓને ધ્યાનમાં રાખીને ભીનું થવાની સંભાવનાની ગણતરી કરવા માટે થઈ શકે છેઃ 0.40:: વરસાદ (અઠવાડિયાનો દિવસ). 0. 1:: વરસાદ (સપ્તાહાંત). 0. 8:: છત્રી _ જો _ વરસાદી (દિવસ). 0. 2: છત્રી _ જો _ સૂકી (દિવસ). છત્ર (દિવસ):-વરસાદ (દિવસ), છત્ર-જો-વરસાદી (દિવસ). છત્રી (દિવસ):-\ + વરસાદ (દિવસ), છત્રી _ જો _ સૂકી (દિવસ). ભીનું (દિવસ):-વરસાદ (દિવસ),\+ છત્ર (દિવસ). ક્વેરી (\+ વેટ (સપ્તાહાંત)). પૂછપરછ પહેલાનો છેલ્લો નિયમ જણાવે છે કે જો વરસાદ પડે અને કોઈ છત્ર લાવવામાં ન આવે તો કોઈ ભીનું થઈ જાય છે. જ્યારે પ્રોબલોગને "સંભવિત અનુમાન" કાર્યને ઉકેલવા માટે કહેવામાં આવે છે, ત્યારે ક્વેરી સપ્તાહના દિવસે શુષ્ક રહેવાની સંભાવના માટે પૂછે છે. "સૌથી સંભવિત સમજૂતી" કાર્યને હલ કરતી વખતે, પ્રોબલોગ શુષ્ક રહેવાનું સૌથી સંભવિત કારણ પરત કરશે, એટલે કે. કારણ કે વરસાદ પડતો નથી અથવા કારણ કે વ્યક્તિ પાસે છત્ર છે. અમલીકરણ પ્રોબલોગ ભાષાને વાયએપી પ્રોલોગ લાઇબ્રેરી (પ્રોબલોગ 1) તરીકે લાગુ કરવામાં આવી છે. અને એકલ પાયથોન માળખા તરીકે (પ્રોબલોગ 2) પ્રોબલોગ 2 નો સ્રોત કોડ અપાચે લાઇસન્સ, વર્ઝન 2 હેઠળ લાઇસન્સ પ્રાપ્ત છે અને ગિટહબ પર ઉપલબ્ધ છે. પ્રોબલોગના વિવિધ પ્રકારો પ્રોબલોગને વિસ્તૃત કરવામાં આવ્યા છે અથવા વિવિધ પ્રકારો માટે પ્રેરણા તરીકે ઉપયોગમાં લેવાય છે, જેમાં નીચેનાનો સમાવેશ થાય છેઃ ડીપપ્રોબોલોગ ન્યુરલ નેટવર્ક દ્વારા સંભાવનાઓને પેરામેટ્રીઝ કરવાની મંજૂરી આપીને પ્રોબલોગને વિસ્તૃત કરે છે. ડી. ટી. પી. પ્રોબ્લોગ પ્રોબલોગને નિર્ણય સિદ્ધાંત સાથે વિસ્તરે છે. વ્યૂહરચનાની ઉપયોગિતાને સંભવિત અસરોની હાજરીમાં તેના અમલીકરણ માટે અપેક્ષિત પુરસ્કાર તરીકે વ્યાખ્યાયિત કરવામાં આવે છે. ડી. સી.-પ્રોબલોગ વિતરણ હકીકતો સાથે પ્રોબલોગને વિસ્તરે છે, જેનો અર્થ છે કે સંભાવનાઓને બદલે, તર્ક અણુ તેના બદલે અનુરૂપ સતત સંભાવના વિતરણ ધરાવે છે. aProbLog માત્ર સંભાવનાઓને બદલે કોઈપણ સેમિરીંગને મંજૂરી આપીને પ્રોબલોગને વિસ્તરે છે. પ્રોબફોલઃ સંભવિત સંબંધાત્મક ડેટાબેઝ તરીકે પ્રોબલોગ હકીકતોના સમૂહને જોતાં, પ્રોબફોલ અન્ય તમામ સંબંધોના આધારે એક સંબંધની હકીકતોની આગાહી કરવા માટે સંભવિત નિયમોનો સમૂહ શોધે છે. સંબંધિત સિસ્ટમો PRISM: આંકડાકીય મોડેલિંગમાં પ્રોગ્રામિંગ ICL: સ્વતંત્ર પસંદગી લોજિક CP-લોજિકઃ કારણભૂત સંભવિત ઘટનાઓની ભાષા PITA: ટેબલિંગ સાથે સંભવિત અનુમાન અને સબમિશનનો જવાબ વિતરણ કલમોઃ વર્ણસંકર રીલેશ્નલ ડોમેન્સ માટે સંભવિત તર્ક ભાષા વધુ વાંચન પ્રોબલોગ હોમપેજ પ્રોબલોગ ડોક્સ પ્રોબલોગ રીપોઝીટરી સંદર્ભો સંભવિત સોફ્ટવેર પ્રોગ્રામિંગ દાખલાઓ બિનનિર્ધારિત પ્રોગ્રામિંગ ભાષાઓ કોમ્પ્યુટેશનલ સ્ટેટિસ્ટિક્સ પાયથોન (પ્રોગ્રામિંગ ભાષા) વૈજ્ઞાનિક પુસ્તકાલયો