热门问题
时间线
聊天
视角
歸納編程
来自维基百科，自由的百科全书
Remove ads
歸納編程（IP），是特定領域的自動編程，覆蓋了人工智能和計算機編程的一些研究領域，它致力於典型的聲明式（邏輯式或函數式）且常為遞歸式程序的機器學習，它們面向不完全的規定比如輸入/輸出例子或約束。
依賴於使用的編程語言，有很多種歸納編程。「歸納函數式編程」[1]，使用函數式語言比如Lisp或Haskell。而最特別的歸納邏輯編程[2] ，使用邏輯式編程語言比如Prolog，和其他邏輯式表述比如描述邏輯。儘管它們已經很突出了，但其他編程語言範式也有使用，比如約束編程或概率編程[3][4][5] 。
參見
引用
延伸閱讀
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads