歸納編程
歸納編程（IP），是特定領域的自動編程，覆蓋了人工智能和電腦編程的一些研究領域，它致力於典型的聲明式（邏輯式或函數式）且常為遞歸式程式的機器學習，它們面向不完全的規定比如輸入/輸出例子或約束。
依賴於使用的程式語言，有很多種歸納編程。「歸納函數式程式設計」[1]，使用函數式語言比如Lisp或Haskell。而最特別的歸納邏輯編程[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）.
外部連結
[編輯]- Inductive Programming community page （頁面存檔備份，存於互聯網檔案館）, hosted by the University of Bamberg.