ProbLog
پروبلگ ایک ممکنہ منطق پروگرامنگ ہے جو امکانات کے ساتھ پرولاگ کو بڑھاتا ہے۔ یہ ممکنہ حقیقت کے تصور کو شامل کرکے پرولاگ کو کم سے کم بڑھاتا ہے، جو منطق ایٹموں اور بے ترتیب متغیرات کے خیال کو یکجا کرتا ہے۔ اسی طرح پرولاگ کے لیے، پروب لاگ ایٹم سے استفسار کر سکتا ہے۔ جبکہ پرولاگ پوچھ گچھ شدہ ایٹم کی سچائی قدر واپس کرتا ہے، پروبلوگ اس کے سچ ہونے کا امکان واپس کرتا ہے۔ سیمنٹکس ایک ممکنہ حقیقت ایٹم کے ساتھ ایک جوڑا اور سچ ہونے کا امکان ہے۔ ایک اصول کی تعریف ایک ایٹم سے کی جاتی ہے، جسے سر کہا جاتا ہے، اور لفظی کا ایک محدود مجموعہ، جسے جسم کہا جاتا ہے۔ پروبلگ پروگرام ممکنہ حقائق کے ایک سیٹ اور اصولوں کے ایک سیٹ پر مشتمل ہوتے ہیں۔ ڈسٹری بیوشن سیمنٹکس کا استعمال کرتے ہوئے، پروگرام میں ایٹموں کے دو قیمتی اچھی طرح سے قائم شدہ ماڈلز پر امکان کی تقسیم کی وضاحت کی جاتی ہے۔ کسی ماڈل کے امکان کی تعریف اس طرح کی جاتی ہے جہاں پروڈکٹ ماڈل کے تمام لیٹرلز پر چلتا ہے۔ استفسار ایٹم کے لیے ڈسٹری بیوشن سیمنٹکس اس استفسار کے لیے امکان کی وضاحت کرتا ہے جس میں مجموعہ ان تمام ماڈلز پر چلتا ہے جہاں سچ ہے۔ پروبلگ متعدد کاموں کی حمایت کرتا ہے: ممکنہ تخمینہ: سب سے زیادہ ممکنہ وضاحت کا حساب لگائیں: سب سے زیادہ ممکنہ ماڈل کے امکانات کا حساب لگائیں نمونے لینا: تشریحات سے سیکھنے کے نمونے تیار کریں: ڈیٹا سے پروبلگ پروگراموں کے امکانات سیکھیں مثال کے طور پر بارش کے امکانات اور کسی کے چھتری لانے کے امکانات کو دیکھتے ہوئے گیلے ہونے کے امکانات کا حساب لگانے کے لیے پروبلگ کا استعمال کیا جا سکتا ہے: 0.4:: بارش (ہفتے کا دن)۔ 0. 0:: بارش (ہفتے کے آخر میں)۔ 0. 8:: چھتری _ اگر _ بارش (دن)۔ 0. 2:: چھتری اگر خشک ہو (دن)۔ چھتری (دن):-بارش (دن)، چھتری _ اگر _ بارش (دن)۔ چھتری (دن):-\ + بارش (دن)، چھتری _ اگر _ خشک (دن)۔ گیلے (دن):-بارش (دن)،\+ چھتری (دن)۔ استفسار (\+ ویٹ (ویک اینڈ))۔ استفسار سے پہلے کے آخری اصول میں کہا گیا ہے کہ اگر بارش ہوتی ہے اور کوئی چھتری نہیں لائی جاتی ہے تو کوئی بھیگا جاتا ہے۔ جب پروبلگ سے "ممکنہ تخمینہ" کے کام کو حل کرنے کے لیے کہا جاتا ہے، تو استفسار ہفتے کے آخر میں خشک رہنے کے امکان کے لیے پوچھتا ہے۔ "سب سے زیادہ ممکنہ وضاحت" کے کام کو حل کرتے وقت، پروبلگ خشک رہنے کی سب سے زیادہ ممکنہ وجہ واپس کرے گا، یعنی۔ کیونکہ بارش نہیں ہو رہی ہے یا اس وجہ سے کہ اس شخص کے پاس چھتری ہے۔ نفاذ پروبلگ زبان کو وائی اے پی پرولاگ لائبریری (پروبلگ 1) کے طور پر نافذ کیا گیا ہے۔ اور ایک علیحدہ ازگر فریم ورک کے طور پر (پروبلگ 2) پروبلگ 2 کا سورس کوڈ اپاچی لائسنس، ورژن 2 کے تحت لائسنس یافتہ ہے اور گٹ ہب پر دستیاب ہے۔ پروبلگ متغیرات پروبلگ کو کئی مختلف اقسام کے لیے حوصلہ افزائی کے طور پر بڑھایا یا استعمال کیا گیا ہے، بشمول: ڈیپپروبلگ نیورل نیٹ ورک کے ذریعے امکان کو پیرامیٹرائز کرنے کی اجازت دے کر پروبلگ کو بڑھاتا ہے۔ ڈی ٹی پرو بلاگ پروبلگ کو فیصلہ کے نظریہ کے ساتھ پھیلاتا ہے۔ حکمت عملی کی افادیت کو ممکنہ اثرات کی موجودگی میں اس پر عمل درآمد کے لیے متوقع انعام کے طور پر بیان کیا جاتا ہے۔ ڈی سی-پروبلگ پروبلگ کو تقسیم کے حقائق کے ساتھ پھیلاتا ہے، جس کا مطلب ہے کہ امکانات کے بجائے، ایک منطق ایٹم میں اس کے بجائے مسلسل امکان کی تقسیم ہوتی ہے۔ aProbLog صرف امکانات کے بجائے کسی بھی سیمیرنگ کی اجازت دے کر پروبلگ کو بڑھاتا ہے۔ پروبفوئل: ایک ممکنہ رشتہ دار ڈیٹا بیس کے طور پر پروبلگ حقائق کے ایک سیٹ کو دیکھتے ہوئے، پروبفوئل دوسرے تمام تعلقات کی بنیاد پر ایک رشتے کے حقائق کی پیش گوئی کرنے کے لیے ممکنہ اصولوں کا ایک مجموعہ تلاش کرتا ہے۔ متعلقہ نظام PRISM: شماریاتی ماڈلنگ میں پروگرامنگ ICL: آزاد انتخاب منطق CP-منطق: وجہ ممکنہ واقعات کی زبان PITA: ٹیبلنگ کے ساتھ ممکنہ تخمینہ اور سبسمپشن کا جواب تقسیم کی شقیں: ہائبرڈ ریلیشنل ڈومینز کے لیے ایک ممکنہ منطق زبان مزید پڑھنا پروبلگ ہوم پیج پروبلگ ڈاکس پروبلگ ریپوزیٹری حوالہ جات ممکنہ سافٹ ویئر پروگرامنگ پیراڈائمز غیر متعین پروگرامنگ زبانیں کمپیوٹیشنل شماریات ازگر (پروگرامنگ زبان) سائنسی کتب خانے