归纳编程

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

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

参见

引用

  1. Olsson, J.R. . Artificial Intelligence. 1995, 74 (1): 55–83. doi:10.1016/0004-3702(94)00042-y.
  2. Muggleton, S. . New Generation Computing. 1991, 8 (4): 295–318. doi:10.1007/BF03037089.
  3. De Raedt, L.; Kersting, K. . Springer. 2008.
  4. Irvin, H.; Stuhlmuller, A.; Goodman, N.D. . 2011. arXiv:1110.5667 [cs.AI].
  5. Stuhlmuller, A.; Goodman, N.D. (PDF). Cognitive Systems Research. 2012 [2020-05-10]. (原始内容存档 (PDF)于2017-12-16).

延伸阅读

外部链接

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.