برمجة منطقية استقرائية

برمجة منطقية استقرائية هي مجال فرعي لذكاء الاصطناعي الرمزي الذي يستخدم البرمجة المنطقية كتمثيل موحد للمعرفة الخلفية والفرضية. اعطاء تشفير لمعرفة خلفية معروفة ومجموعة من الأمثلة تمثل قاعدة بيانات منطقية للحقائق، نظام البرمجة المنطقي الاستقرائي سيشتق برنامج منطقي افتراضي الذي يتتبع جميع الأمثلة الصحيحة وغير الصحيحة.
 مخطط:أمثلة صحيحة + امثلة خاطئة"+ معرفة خلفية← "فرضية".
تفيد البرمجة المنطقية الاستقرائية خصوصا في مجال المعلوماتية الحيوية ومعالجة اللغات الطبيعية.

جوردون بلوتيكن وايهود شابيرو وضعوا الأساس الاولي النظري لتعلم الآلة الاستقرائي في إطار المنطق.Plotkin G.D. Automatic Methods of Inductive Inference, PhD thesis, University of Edinburgh, 1970. Shapiro, Ehud Y. Inductive inference of theories from facts, Research Report 192, Yale University, Department of Computer Science, 1981. Reprinted in J.-L. Lassez, G. Plotkin (Eds.), Computational Logic, The MIT Press, Cambridge, MA, 1991, pp. 199–254. Shapiro, Ehud Y. (1983). Algorithmic program debugging. Cambridge, Mass: MIT Press.  Shapiro built their first implementation (Model Inference System) in 1981:شابيرو صمم تطبيقهم الأول(نظام الاستدلال النموذجي) في ١٩٨١<ref>Shapiro, Ehud Y. "The model inference system." Proceedings of the 7th international joint conference on Artificial intelligence-Volume 2. Morgan Kaufmann Publishers Inc., 1981.  برنامج برولوغ يستنتج برنامج منطقي بشكل استقرائي من الأمثلة صحيحة والخاطئة. مصطلح البرمجة المنطقية الاستقرائية كان أول ظهور له في الصحف Luc De Raedt. A Perspective on Inductive Logic Programming. The Workshop on Current and Future Trends in Logic Programming, Shakertown, to appear in Springer LNCS, 1999. سايتسيركس:   من قبل ستيفن موغليتون في ١٩٩١ 

كما اسس موغليتون المؤتمر الدولي السنوي حول البرمجة المنطقية الاستقرائية، وقدم الافكار النظرية للابتكار، والحلول العكسيةMuggleton S.H. and Buntine W. "Machine invention of first-order predicate by inverting resolution","Proceedings of the 5th International Conference on Machine Learning, 1988. ، التضمين العكسية  أول مرة في نظام بروغول.

مصطلح استقرائي يشير هنا إلى الفلسفة (اقتراح فرضية لتفسير حقائق مرصودة).

 تعريف رسمي 
تعطى المعرفة الخلفية كنظرية منطقية B، تكون بالعادة على شكل عبارات هورن التي تستخدم في البرمجة المنطقية. تعطى الامثلة الصحيحة والخاطئة كعامل  and  لغير المنفي والمنفي من لاتريل على التوالي. الفرضية الصحيحة h هي قضايا منطقية تحقق المتطلبات التالية:; here: Sect.2.1

«ضرورة»(Necessity)ليس مفترض تقييدها ب h، لكن يمنع تشكيل أي فرضية طالما الحقائق الصحيحة يمكن شرحها بدونها. «كافية»(sufficiency)يتطلب تشكيل أي فرضية h لشرح كل الامثلة الصحيحة. «تناسب ضعيف»(weak consistency)يمنع تشكيل أي فرضية h تتناقض مع المعرفة الخلفية B. «تناسب قوي»(strong consistency)أيضًا يمنع تشكيل أي نظرية h تكون متعارضة مع الامثلة الخاطئة.

الخلفية المعرفية B تدل على «تناسب ضعيف»، إذا لم يعطى أي أمثلة خاطئة، كلا المتطلبان يجب ان يتزامنا. ديروسكي يتطلب فقط «كافية» (تسمى هنا «الاكتمال») و «تناسب قوي».

 نظام برمجي منطقي استقرائي 
النظام البرمجي المنطقي الاستقرائي هو برنامج يأخذ كمدخلات منطقية نظرية المعرفة الخلفية والامثلة الصحيحة إضافة إلى الامثلة الخاطئة وكمخرجات فرضيات صحيحة H، خوارزمية النظام البرمجي المنطقي الاستقرائي يتكون من جزئيين هما: البحث عن الفرضية واختيار الفرضية. في البداية يتم البحث عن الفرضيات عن طريق اسلوب البرمجة المنطقية الاستقرائية، ومن ثم تشكيل مجموعة فرعية من الفرضيات (في اغلب الحالات تكون واحدة فقط) يُختر واحدة منهم عن طريق خوارزمية الاختيار. تعطي خوارزمية الاختيار نقاط للفرضيات ومن ثم ترجع الفرضية صاحبة اعلى نقاط. يشتمل أحد الأمثلة على دالة النتيجة على الحد الأدنى لطول الضغط حيث تكون الفرضية ذات تعقيد كولمغروف الأقل لها أعلى درجة ويتم إرجاعها. يكتمل نظام البرمجة المنطقي الاستقرائي إذا كان لكل إدخال نظري منطقي أي فرضية صحيحة H، يمكن إيجاد هذه الفرضيات من خلال إجراء بحث الفرضية.

 إيجاد الفرضيات 
تجد أنظمة البرمجة المنطقية الاستقرائية الحديثة مثل برولوغ  وهايل Ray, O., Broda, K., & Russo, A. M. (2003). Hybrid abductive inductive learning. In LNCS: Vol. 2835. Proceedings of the 13th international conference on inductive logic programming (pp. 311–328). Berlin: Springer.  وإمبارو Kimber, T., Broda, K., & Russo, A. (2009). Induction on failure: learning connected Horn theories. In LNCS: Vol. 5753. Proceedings of the 10th international conference on logic programing and nonmonotonic reasoning (pp. 169–181). Berlin: Springer.  الفرضيات H باستخدام قاعدة التضمين العكسي لنظريات B,E,H:.
في البداية يتم بناء نظرية متوسطة  تسمى النظرية الجسر تحقق الشروط  و . ثم بأسم  ، يعممون النظرية المنفية للنظرية الجسر مع المضاد الاستلزام. Yoshitaka Yamamoto, Katsumi Inoue, and Koji Iwanuma. Inverse subsumption for complete explanatory induction. Machine learning, 86(1):115–139, 2012.  ومع ذلك، فإن تشغيل مضاد الاستلزام نظرًا لكونه غير حتمي بدرجة كبيرة يكون أكثر تكلفة من الناحية الحسابية. لذلك، يمكن إجراء بحث عن فرضية بديلة باستخدام عملية تضمين العكسي (مضاد التضمين) بدلاً من ذلك والتي تكون أقل حتمية من عدم الاستلزام. تنشأ أسئلة حول اكتمال إجراء بحث عن فرضية لنظام معين من البرمجة المنطقية الاستقرائية على سبيل المثال، إجراء البحث عن فرضية برولوغ ب استنادًا إلى قاعدة التضمين المعكوس غير مكتمل بمثال Yamamoto. من ناحية أخرى، يكتمل إمبارو من خلال كل من إجراءات عدم الاستلزام Timothy Kimber. Learning definite and normal logic programs by induction on failure. PhD thesis, Imperial College London, 2012.  وإجراء التضمين العكسي الموسع.David Toth (2014). Imparo is complete by inverse subsumption. arXiv:1407.3836

 اقرأ ايضًا 
	تفكير بديهي.

	استقراء(منطق)

	تحليل المفهوم الرسمي

	البرمجة الاستقرائية

	الاحتمال الاستقرائي

	التعلم الإحصائي العلائقي

 مصادر 

تصنيف:ذكاء اصطناعي