برنامه‌سازی منطقی استنتاجی

برنامه‌سازی منطقی استنتاجی  با کوته‌نوشت ILP زیرشاخه‌ای از هوش مصنوعی نمادین است که از برنامه‌نویسی منطقی به عنوان نمایش یکسان برای «مثال‌ها»، «دانش زیربنایی»، و «فرضیه‌ها» استفاده می‌کند. اگر به ما یک رمزگذاری از دانش زیربنایی شناخته‌شده، و نیز مجموعه‌ای از مثال‌ها که به صورت پایگاه داده منطقی حقایق نمایش داده شده‌است، داده شود، آنوقت یک سامانه ILP یک برنامه منطقی فرضیه‌دار را پیامد منطقی می‌دهد که برای آن سامانه، همه مثال‌های مثبت را پیامد داده و نیز هیچ‌کدام از مثال‌های منفی را پیامد نداده است.

طرح‌واره: مثال‌های مثبت + مثال‌های منفی + دانش زمینه‌ای => فرضیه‌ها

برنامه‌سازی منطقی استنتاجی مخصوصاً در زمینه بیوانفورماتیک و پردازش زبان‌های طبیعی مفید است. گوردون پلوتکین و ایهود شاپیرو، اساس نظری اولیه برای یادگیری ماشین استنتاجی در وضعیت منطقی را ایجاد کردند.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, 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. CiteSeerX:  شد. ماگلتون همچنین یک کنفرانس بین‌المللی سالانه دربارهٔ برنامه‌سازی منطقی استنتاجی را بنیان نهاد و همچنین ایده‌های نظری دربارهٔ «اختراع گزاره»، «تفکیک‌پذیری معکوس»،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. و «پیامد منطقی معکوس» را معرفی کرد. اولین پیاده‌سازی پیامد منطقی معکوس در سامانه پروگول (PROGOL) بود. اصطلاح «استنتاجی» در اینجا به استقرای فلسفی (یعنی پیشنهاد یک نظریه برای شرح واقعیت‌های مشاهده شده) و نه استقرای ریاضی (یعنی اثبات یک ویژگی برای همه اعضای یک مجموعه خوش-ترتیب) اشاره دارد.

 پانویس 

 منابع 

رده:برنامه‌سازی منطقی استنتاجی