李艷娟 郭茂祖

摘要： 歸納邏輯程序設(shè)計(jì)是機(jī)器學(xué)習(xí)與邏輯程序設(shè)計(jì)交叉所形成的一個(gè)研究領(lǐng)域，克服了傳統(tǒng)機(jī)器學(xué)習(xí)方法的兩個(gè)主要限制：即知識(shí)表示的限制和背景知識(shí)利用的限制，成為機(jī)器學(xué)習(xí)的前沿研究課題。首先從歸納邏輯程序設(shè)計(jì)的產(chǎn)生背景、定義、應(yīng)用領(lǐng)域及問(wèn)題背景介紹了歸納邏輯程序設(shè)計(jì)系統(tǒng)的概貌，對(duì)歸納邏輯程序設(shè)計(jì)方法的研究現(xiàn)狀進(jìn)行了總結(jié)和分析，最后探討了該領(lǐng)域的進(jìn)一步的研究方向。