归纳编程
归纳编程(IP),是特定领域的自动编程,覆盖了人工智能和计算机编程的一些研究领域,它致力于典型的声明式(逻辑式或函数式)且常为递归式的程序,面向不完全的规定比如输入/输出例子或约束的机器学习。
编程范型 |
---|
依赖于使用的编程语言,有很多种归纳编程。“归纳函数式编程”[1],使用函数式语言比如Lisp或Haskell,而最特别的归纳逻辑编程[2] ,使用逻辑式编程语言比如Prolog,和其他逻辑式表述比如描述逻辑,它们已经很突出了,但其他编程语言范式也有使用,比如约束编程或概率编程[3][4][5] 。
引用
- Olsson, J.R. . Artificial Intelligence. 1995, 74 (1): 55–83. doi:10.1016/0004-3702(94)00042-y.
- Muggleton, S. . New Generation Computing. 1991, 8 (4): 295–318. doi:10.1007/BF03037089.
- De Raedt, L.; Kersting, K. . Springer. 2008.
- Irvin, H.; Stuhlmuller, A.; Goodman, N.D. . 2011. arXiv:1110.5667 [cs.AI].
- Stuhlmuller, A.; Goodman, N.D. (PDF). Cognitive Systems Research. 2012 [2020-05-10]. (原始内容存档 (PDF)于2017-12-16).
延伸阅读
- Flener, P.; Schmid, U. . Artificial Intelligence Review. 2008, 29 (1): 45–62. doi:10.1007/s10462-009-9108-7.
- Kitzelmann, E. (PDF). Approaches and Applications of Inductive Programming. 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).
- Partridge, D. . Computer. 1997, 30 (1): 36–41. doi:10.1109/2.562924.
- Flener, P.; Partridge, D. . Automated Software Engineering. 2001, 8 (2): 131–137. doi:10.1023/a:1008797606116.
- Hofmann, M.; Kitzelmann, E. . Proceedings of the Second Conference on Artificial General Intelligence. 2009: 55–60 [2020-05-10]. (原始内容存档于2017-09-07).
- Muggleton, S.; De Raedt, L. . The Journal of Logic Programming. 1994, 19–20: 629–679. doi:10.1016/0743-1066(94)90035-3.
- Lavrac, N.; Dzeroski, S. . 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. . 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. . 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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.