归纳编程

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

依赖于使用的编程语言，有很多种归纳编程。“归纳函数式编程”^[1]，使用函数式语言比如Lisp或Haskell。而最特别的归纳逻辑编程（英语：Inductive logic programming）^[2] ，使用逻辑式编程语言比如Prolog，和其他逻辑式表述比如描述逻辑。尽管它们已经很突出了，但其他编程语言范式也有使用，比如约束编程或概率编程^[3]^[4]^[5] 。

参见

引用

^ 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.
^ Muggleton, S. Inductive logic programming. New Generation Computing. 1991, 8 (4): 295–318. doi:10.1007/BF03037089.
^ De Raedt, L.; Kersting, K. Probabilistic inductive logic programming. Springer. 2008.
^ Irvin, H.; Stuhlmuller, A.; Goodman, N.D. Inducing probabilistic programs by Bayesian program merging. 2011. arXiv:1110.5667  [cs.AI].
^ Stuhlmuller, A.; Goodman, N.D. Reasoning about reasoning by nested conditioning: Modeling theory of mind with probabilistic programs (PDF). Cognitive Systems Research. 2012 [2020-05-10]. （原始内容存档 (PDF)于2017-12-16）.

延伸阅读

Flener, P.; Schmid, U. An introduction to inductive programming. Artificial Intelligence Review. 2008, 29 (1): 45–62. doi:10.1007/s10462-009-9108-7.
Kitzelmann, E. Inductive programming: A survey of program synthesis techniques (PDF). Lecture Notes in Computer Science 5812. 2010: 50–73 [2020-05-10]. ISBN 978-3-642-11930-9. doi:10.1007/978-3-642-11931-6_3. （原始内容存档 (PDF)于2017-12-13）. |journal=被忽略 (帮助)
Partridge, D. The case for inductive programming. Computer. 1997, 30 (1): 36–41. doi:10.1109/2.562924.
Flener, P.; Partridge, D. Inductive Programming. Automated Software Engineering. 2001, 8 (2): 131–137. doi:10.1023/a:1008797606116.
Hofmann, M.; Kitzelmann, E. A unifying framework for analysis and evaluation of inductive programming systems. Proceedings of the Second Conference on Artificial General Intelligence. 2009: 55–60 [2020-05-10]. （原始内容存档于2017-09-07）.
Muggleton, S.; De Raedt, L. Inductive Logic Programming: Theory and methods. The Journal of Logic Programming. 1994, 19–20: 629–679. doi:10.1016/0743-1066(94)90035-3.
Lavrac, N.; Dzeroski, S. Inductive Logic Programming: Techniques and Applications. New York: Ellis Horwood. 1994. ISBN 978-0-13-457870-5. https://web.archive.org/web/20040906084947/http://www-ai.ijs.si/SasoDzeroski/ILPBook/
Muggleton, S.; De Raedt, Luc.; Poole, D.; Bratko, I.; Flach, P.; Inoue, K.; Srinivasan, A. ILP turns 20. Machine Learning. 2012, 86 (1): 3–23. doi:10.1007/s10994-011-5259-2.
Galwani, S.; Hernandez-Orallo, J.; Kitzelmann, E.; Muggleton, S.H.; Schmid, U.; Zorn, B. Inductive Programming Meets the Real World. Communications of the ACM. 2015, 58 (11): 90–99 [2020-05-10]. doi:10.1145/2736282. hdl:10251/64984. （原始内容存档于2018-10-30）.