ProbLog
புரோலக் என்பது ஒரு நிகழ்தகவு தர்க்க நிரலாக்கமாகும், இது புரோலக்கை நிகழ்தகவுகளுடன் விரிவுபடுத்துகிறது. தர்க்க அணுக்கள் மற்றும் சீரற்ற மாறிகள் பற்றிய கருத்தை இணைக்கும் ஒரு நிகழ்தகவு உண்மையின் கருத்தை சேர்ப்பதன் மூலம் இது குறைந்தபட்சமாக புரோலாக்கை விரிவுபடுத்துகிறது. புரோலாக்கைப் போலவே, புரோப்லாக் ஒரு அணுவைக் கேள்வி கேட்கலாம். கேள்வி கேட்கப்பட்ட அணுவின் உண்மை மதிப்பை புரோலாக் காட்டும் அதேவேளை, புரோப்லாக் அது உண்மையாக இருப்பதற்கான நிகழ்தகவை அளிக்கிறது. சொற்பொருள் ஒரு நிகழ்தகவு உண்மை என்பது ஒரு அணு மற்றும் உண்மையாக இருப்பதற்கான நிகழ்தகவு கொண்ட ஒரு ஜோடி ஆகும். ஒரு விதி தலை என்று அழைக்கப்படும் ஒரு அணுவாலும், உடல் என்று அழைக்கப்படும் வரையறுக்கப்பட்ட எழுத்துக்களின் தொகுப்பாலும் வரையறுக்கப்படுகிறது. புரோப்லாக் திட்டங்கள் நிகழ்தகவு உண்மைகள் மற்றும் விதிகளின் தொகுப்பைக் கொண்டுள்ளன. விநியோக சொற்பொருளைப் பயன்படுத்தி, திட்டத்தில் உள்ள அணுக்களின் இரண்டு மதிப்புள்ள நன்கு நிறுவப்பட்ட மாதிரிகள் மீது ஒரு நிகழ்தகவு விநியோகம் வரையறுக்கப்படுகிறது. ஒரு மாதிரியின் நிகழ்தகவு என்பது மாதிரியில் உள்ள அனைத்து எழுத்துக்களுக்கும் மேலாக தயாரிப்பு இயங்கும் இடமாக வரையறுக்கப்படுகிறது. ஒரு வினவல் அணுவைப் பொறுத்தவரை, விநியோக சொற்பொருள் வினவலுக்கான நிகழ்தகவை வரையறுக்கிறது, இதில் தொகை உண்மை இருக்கும் அனைத்து மாதிரிகளிலும் இயங்குகிறது. புரோப்லாக் பல பணிகளை ஆதரிக்கிறதுஃ நிகழ்தகவு அனுமானம்ஃ மிகவும் சாத்தியமான விளக்கத்தைக் கணக்கிடுங்கள்ஃ மிகவும் சாத்தியமான மாதிரி நிகழ்தகவு மாதிரியைக் கணக்கிடுங்கள்ஃ விளக்கங்களிலிருந்து கற்றலின் மாதிரிகளை உருவாக்குங்கள்ஃ தரவுகளிலிருந்து புரோப்லாக் நிரல்களின் நிகழ்தகவுகளைக் கற்றுக்கொள்ளுங்கள் எடுத்துக்காட்டாக, மழைக்கான நிகழ்தகவுகள் மற்றும் யாராவது ஒரு குடையைக் கொண்டுவருவதற்கான நிகழ்தகவுகளைக் கருத்தில் கொண்டு ஈரமாக இருப்பதற்கான நிகழ்தகவைக் கணக்கிட புரோப்லாக் பயன்படுத்தப்படலாம்ஃ 0. 0:: மழை (வார இறுதி). 0. 8: குடை மழை (நாள்). 0. 2: குடை _ உலர்ந்தால் (நாள்). குடை (நாள்):-மழை (நாள்), குடை மழை (நாள்). குடை (நாள்):-\ + மழை (நாள்), குடை _ என்றால் _ உலர்ந்த (நாள்). ஈரமான (நாள்):-மழை (நாள்),\+ குடை (நாள்). வினவல் (\+ ஈரமான (வார இறுதி)). வினவலுக்கு முந்தைய கடைசி விதி, மழை பெய்தால், குடையை கொண்டு வராவிட்டால் யாராவது ஈரமாகிவிடுவார்கள் என்று கூறுகிறது. "நிகழ்தகவு அனுமானம்" பணியைத் தீர்க்குமாறு புரோப்லாக் கேட்கப்படும்போது, வினவல் ஒரு வார இறுதி நாளில் வறண்டு இருப்பதற்கான நிகழ்தகவைக் கேட்கிறது. "மிகவும் சாத்தியமான விளக்கம்" பணியைத் தீர்க்கும்போது, புரோப்லாக் வறண்டு இருப்பதற்கான பெரும்பாலான காரணத்தைத் தரும், அதாவது. ஏனென்றால் மழை பெய்வதில்லை அல்லது அந்த நபரிடம் குடை இருப்பதால். செயலாக்கங்கள் புரோப்லாக் மொழி ஒரு YAP புரோலக் நூலகமாக (புரோப்லாக் 1) செயல்படுத்தப்பட்டுள்ளது. தனித்த பைதான் கட்டமைப்பாகவும் (புரோப்லாக் 2) புரோப்லாக் 2 இன் மூலக் குறியீடு அப்பாச்சி உரிமம், பதிப்பு 2 இன் கீழ் உரிமம் பெற்றது மற்றும் கிட்ஹப்பில் கிடைக்கிறது. ப்ரோப்லாக் மாறுபாடுகள் ப்ரோப்லாக் நீட்டிக்கப்பட்டுள்ளது அல்லது பல்வேறு வகைகளுக்கு உத்வேகமாக பயன்படுத்தப்படுகிறது, அவற்றுள் பின்வருவன அடங்கும்ஃ டீப் ப்ரோப்லாக் ஒரு நரம்பியல் வலையமைப்பால் நிகழ்தகவை அளவுருவாக மாற்ற அனுமதிப்பதன் மூலம் ப்ரோப்லாக்கை விரிவுபடுத்துகிறது. டிடிப்ரோ பிளாக் முடிவு கோட்பாட்டுடன் புரோப்லாக்கை விரிவுபடுத்துகிறது. ஒரு மூலோபாயத்தின் பயன்பாடு நிகழ்தகவு விளைவுகளின் முன்னிலையில் அதை நிறைவேற்றுவதற்கு எதிர்பார்க்கப்படும் வெகுமதியாக வரையறுக்கப்படுகிறது. டிசி-புரோப்லாக் புரோப்லாக்கை விநியோக உண்மைகளுடன் விரிவுபடுத்துகிறது, அதாவது நிகழ்தகவுகளுக்கு பதிலாக, ஒரு லாஜிக் அணு அதனுடன் தொடர்புடைய தொடர்ச்சியான நிகழ்தகவு விநியோகத்தைக் கொண்டுள்ளது. aProbLog சாத்தியக்கூறுகளுக்கு பதிலாக எந்தவொரு அரைகுறையையும் அனுமதிப்பதன் மூலம் ProbLog ஐ விரிவுபடுத்துகிறது. புரோபொயில்ஃ ஒரு நிகழ்தகவு தொடர்பான தரவுத்தளமாக புரோப்லாக் உண்மைகளின் தொகுப்பைக் கொடுத்தால், மற்ற அனைத்து உறவுகளின் அடிப்படையில் ஒரு உறவின் உண்மைகளை கணிக்க ஒரு நிகழ்தகவு விதிகளின் தொகுப்பை புரோபொயில் கண்டறிகிறது. தொடர்புடைய அமைப்புகள் PRISM: புள்ளியியல் மாதிரியமைப்பில் நிரலாக்கம் ICL: சுயாதீன தேர்வு தர்க்கம் CP-தர்க்கம்ஃ காரணமான நிகழ்தகவு நிகழ்வுகளின் மொழி PITA: அட்டவணைப்படுத்தல் மற்றும் பதிலுடன் நிகழ்தகவு அனுமானம் உட்பிரிவு விநியோக உட்பிரிவுகள்ஃ கலப்பின தொடர்புடைய களங்களுக்கான ஒரு நிகழ்தகவு தர்க்க மொழி மேலும் வாசிப்பு ProbLog முகப்புப்பக்கம் ProbLog docs ProbLog களஞ்சிய குறிப்புகள் நிகழ்தகவு மென்பொருள் நிரலாக்க முன்னுதாரணங்கள் நிர்ணயிக்கப்படாத நிரலாக்க மொழிகள் கணக்கீட்டு புள்ளிவிவரங்கள் பைதான் (நிரலாக்க மொழி) அறிவியல் நூலகங்கள்