归纳编程

归纳编程(IP),是特定领域的自动编程,覆盖了人工智能计算机编程的一些研究领域,它致力于典型的声明式逻辑式函数式)且常为递归式的程序,面向不完全的规定比如输入/输出例子或约束的机器学习

依赖于使用的编程语言,有很多种归纳编程。“归纳函数式编程”[1],使用函数式语言比如LispHaskell,而最特别的归纳逻辑编程[2] ,使用逻辑式编程语言比如Prolog,和其他逻辑式表述比如描述逻辑,它们已经很突出了,但其他编程语言范式也有使用,比如约束编程概率编程[3][4][5]

参见编辑

引用编辑

  1. ^ Olsson, J.R. Inductive functional programming using incremental program transformation. Artificial Intelligence. 1995, 74 (1): 55–83. doi:10.1016/0004-3702(94)00042-y. 
  2. ^ Muggleton, S. Inductive logic programming. New Generation Computing. 1991, 8 (4): 295–318. doi:10.1007/BF03037089. 
  3. ^ De Raedt, L.; Kersting, K. Probabilistic inductive logic programming. Springer. 2008. 
  4. ^ Irvin, H.; Stuhlmuller, A.; Goodman, N.D. Inducing probabilistic programs by Bayesian program merging. 2011. arXiv:1110.5667 [cs.AI]. 
  5. ^ Stuhlmuller, A.; Goodman, N.D. Reasoning about reasoning by nested conditioning: Modeling theory of mind with probabilistic programs (PDF). Cognitive Systems Research. 2012. 

延伸阅读编辑

外部链接编辑