ProbLog
प्रोबलॉग एक संभावित तर्क प्रोग्रामिंग है जो संभावनाओं के साथ प्रोलॉग का विस्तार करती है। यह एक संभावित तथ्य की धारणा को जोड़कर प्रोलॉग का न्यूनतम विस्तार करता है, जो तर्क परमाणुओं और यादृच्छिक चर के विचार को जोड़ता है। प्रोलॉग के समान, प्रोबलॉग एक परमाणु से पूछताछ कर सकता है। जबकि प्रोलॉग पूछताछ किए गए परमाणु का सत्य मान बताता है, प्रोबलॉग इसके सत्य होने की संभावना बताता है। शब्दार्थ एक संभावित तथ्य एक परमाणु और सच होने की संभावना के साथ एक जोड़ी है। एक नियम को एक परमाणु द्वारा परिभाषित किया जाता है, जिसे हेड कहा जाता है, और शाब्दिक का एक सीमित समूह, जिसे बॉडी कहा जाता है। प्रोबलॉग कार्यक्रमों में संभावित तथ्यों का एक समूह और नियमों का एक समूह होता है। वितरण शब्दार्थ का उपयोग करते हुए, एक संभाव्यता वितरण को कार्यक्रम में परमाणुओं के दो-मूल्यवान अच्छी तरह से स्थापित मॉडल पर परिभाषित किया जाता है। एक मॉडल की संभावना को परिभाषित किया जाता है कि उत्पाद मॉडल के सभी अक्षरों पर कहाँ चलता है। एक क्वेरी परमाणु के लिए वितरण शब्दार्थ उस क्वेरी के लिए एक संभावना को परिभाषित करता है जिसमें योग उन सभी मॉडलों पर चलता है जहां यह सही है। प्रोबलॉग कई कार्यों का समर्थन करता हैः संभावित अनुमानः गणना सबसे संभावित व्याख्याः सबसे संभावित मॉडल संभावना नमूने की गणनाः व्याख्याओं से सीखने के नमूने उत्पन्न करनाः डेटा से प्रोबलॉग कार्यक्रमों की संभावनाओं को सीखना उदाहरण के लिए प्रोबलॉग का उपयोग बारिश की संभावनाओं और किसी के छतरी लाने की संभावनाओं को देखते हुए गीले होने की संभावना की गणना करने के लिए किया जा सकता है। 0. 1:: बारिश (सप्ताहांत)। 0. 8:: छाता _ अगर _ बरसात (दिन)। 0. 2:: छाता _ अगर _ सूखा (दिन)। छाता (दिन):-बारिश (दिन), छाता-अगर-बारिश (दिन)। छतरी (दिन):-\ + बारिश (दिन), छतरी _ अगर _ सूखी (दिन)। गीला (दिन):-बारिश (दिन),\+ छाता (दिन)। प्रश्न (\+ गीला (सप्ताहांत))। पूछताछ से पहले अंतिम नियम में कहा गया है कि अगर बारिश होती है और कोई छतरी नहीं लाई जाती है तो कोई भी गीला हो जाता है। जब प्रोबलॉग को "संभावित अनुमान" कार्य को हल करने के लिए कहा जाता है, तो प्रश्न सप्ताहांत के दिन शुष्क रहने की संभावना के लिए पूछता है। "सबसे संभावित स्पष्टीकरण" कार्य को हल करते समय, प्रोबलॉग सूखे रहने का सबसे संभावित कारण देगा, अर्थात। क्योंकि बारिश नहीं हो रही है या क्योंकि व्यक्ति के पास छतरी है। कार्यान्वयन प्रोबलॉग भाषा को वाई. ए. पी. प्रोलॉग पुस्तकालय (प्रोबलॉग 1) के रूप में लागू किया गया है। और एक स्वतंत्र पायथन ढांचे के रूप में (प्रोबलॉग 2) प्रोबलॉग 2 का स्रोत कोड अपाचे लाइसेंस, संस्करण 2 के तहत लाइसेंस प्राप्त है और गिटहब पर उपलब्ध है। प्रोबलॉग रूपों को कई अलग-अलग रूपों के लिए प्रेरणा के रूप में विस्तारित या उपयोग किया गया है, जिनमें शामिल हैंः डीपप्रोबलॉग एक तंत्रिका नेटवर्क द्वारा संभावना को मानकीकृत करने की अनुमति देकर प्रोबलॉग का विस्तार करता है। डी. टी. पी. प्रोब्लॉग निर्णय सिद्धांत के साथ प्रोबलॉग का विस्तार करता है। एक रणनीति की उपयोगिता को संभावित प्रभावों की उपस्थिति में इसके निष्पादन के लिए अपेक्षित पुरस्कार के रूप में परिभाषित किया गया है। डी. सी.-प्रोबलॉग वितरण तथ्यों के साथ प्रोबलॉग का विस्तार करता है, जिसका अर्थ है कि संभावनाओं के बजाय, एक तर्क परमाणु में इसके बजाय एक संबंधित निरंतर संभावना वितरण होता है। aProbLog केवल संभावनाओं के बजाय किसी भी सेमिरिंग की अनुमति देकर प्रोबलॉग का विस्तार करता है। प्रोबफॉइलः एक संभावित संबंधपरक डेटाबेस के रूप में प्रोबलॉग तथ्यों के एक सेट को देखते हुए, प्रोबफॉइल अन्य सभी संबंधों के आधार पर एक संबंध के तथ्यों की भविष्यवाणी करने के लिए संभावित नियमों का एक सेट पाता है। संबंधित प्रणालियाँ पी. आर. आई. एस. एम.: सांख्यिकीय मॉडलिंग में प्रोग्रामिंग आई. सी. एल.: स्वतंत्र विकल्प तर्क सी. पी.-लॉजिकः कारणात्मक संभावित घटनाओं की भाषाः पी. आई. टी. ए.: तालिका के साथ संभावित अनुमान और उपग्रहण का उत्तर वितरण खंडः संकर संबंधपरक डोमेन के लिए एक संभावित तर्क भाषा आगे पढ़ने के लिए प्रोबलॉग होमपेज प्रोबलॉग डॉक्स प्रोबलॉग रिपॉजिटरी संदर्भ संभावना सॉफ्टवेयर प्रोग्रामिंग प्रतिमान गैर-निर्धारक प्रोग्रामिंग भाषाएँ कम्प्यूटेशनल सांख्यिकी पायथन (प्रोग्रामिंग भाषा) वैज्ञानिक पुस्तकालय