^ 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.
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.
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）.
外部链接编辑
Inductive Programming community page （页面存档备份，存于互联网档案馆）, hosted by the University of Bamberg.
十月 07, 2023
归纳编程, 是特定领域的自动编程, 覆盖了人工智能和计算机编程的一些研究领域, 它致力于典型的声明式, 逻辑式或函数式, 且常为递归式程序的机器学习, 它们面向不完全的规定比如输入, 输出例子或约束, 依赖于使用的编程语言, 有很多种, 归纳函数式编程, 使用函数式语言比如lisp或haskell, 而最特别的归纳逻辑编程, 英语, inductive, logic, programming, 使用逻辑式编程语言比如prolog, 和其他逻辑式表述比如描述逻辑, 尽管它们已经很突出了, 但其他编程语言范式也有使用,. 归纳编程 IP 是特定领域的自动编程 覆盖了人工智能和计算机编程的一些研究领域 它致力于典型的声明式 逻辑式或函数式 且常为递归式程序的机器学习 它们面向不完全的规定比如输入 输出例子或约束 依赖于使用的编程语言 有很多种归纳编程 归纳函数式编程 1 使用函数式语言比如Lisp或Haskell 而最特别的归纳逻辑编程 英语 Inductive logic programming 2 使用逻辑式编程语言比如Prolog 和其他逻辑式表述比如描述逻辑 尽管它们已经很突出了 但其他编程语言范式也有使用 比如约束编程或概率编程 3 4 5 目录 1 参见 2 引用 3 延伸阅读 4 外部链接参见 编辑自动编程 遗传编程 归纳推理 归纳逻辑编程 机器学习 程序合成 测试驱动开发引用 编辑 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 nbsp 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 外部链接 编辑 Inductive Programming community page 页面存档备份 存于互联网档案馆 hosted by the University of Bamberg 取自 https zh wikipedia org w index php title 归纳编程 amp oldid 78599262, 维基百科，wiki，书籍，书籍，图书馆，
