Inductive programming: Difference between revisions

Revision as of 14:23, 15 January 2024

Latest revision as of 11:08, 23 June 2025

(3 intermediate revisions by 3 users not shown)

Line 1:

{{Short description|Area of automatic programming}}

{{Programming paradigms}}

'''Inductive programming''' ('''IP''') is a special area of [[automatic programming]], covering research from [[artificial intelligence]] and [[Computer programming|programming]], which addresses [[machine learning|learning]] of typically [[declarative programming|declarative]] ([[logic programming|logic]] or [[functional programming|functional]]) and often [[recursion|recursive]] programs from incomplete specifications, such as input/output examples or constraints.

Line 119:

|journal=Computational Intelligence

|volume=30|issue=3|pages=473–513|year=2014

|doi=10.1111/coin.12004|doi-access=free|hdl=10251/34946|hdl-access=free}}

</ref> abstraction has also been explored as a more powerful approach to [[cumulative learning]] and function invention.<ref>

{{cite journal

Line 188:

Other areas where inductive inference has been recently applied are [[knowledge acquisition]],<ref>

{{cite journal

|first1=U.|last1=Schmid|author1-link= Ute Schmid |first2=M.|last2=Hofmann|first3=E.|last3=Kitzelmann

|title=Analytical inductive programming as a cognitive rule acquisition devise

|journal=Proceedings of the Second Conference on Artificial General Intelligence

Line 196:

</ref> [[artificial general intelligence]],<ref>

{{cite journal

|first1=N.|last1=Crossley|first2=E.|last2=Kitzelmann|first3=M.|last3=Hofmann|first4=U.|last4=Schmid|author4-link= Ute Schmid

|title=Combining analytical and evolutionary inductive programming

|journal=Proceedings of the Second Conference on Artificial General Intelligence

Line 222:

</ref> and [[cognitive science]] in general.<ref>

{{cite journal

|first1=U.|last1=Schmid|author1-link= Ute Schmid |first2=E.|last2=Kitzelmann

|title=Inductive rule learning on the knowledge level

|journal=Cognitive Systems Research

Line 240:

== Further reading ==

{{Refbegin}}

* {{cite journal|first1=P.|last1=Flener|first2=U.|last2=Schmid|author2-link= Ute Schmid |title=An introduction to inductive programming|journal=Artificial Intelligence Review|volume=29 | issue = 1|pages=45–62|year=2008|doi=10.1007/s10462-009-9108-7|s2cid=26314997}}

* {{cite book|first1=E.|last1=Kitzelmann|title=Approaches and Applications of Inductive Programming |chapter=Inductive Programming: A Survey of Program Synthesis Techniques |volume=5812|pages=50–73|year=2010|chapter-url=http://emanuel.kitzelmann.org/documents/publications/Kitzelmann2010.pdf|doi=10.1007/978-3-642-11931-6_3|citeseerx=10.1.1.180.1237|series=Lecture Notes in Computer Science|isbn=978-3-642-11930-9}}

* {{cite journal|first1=D.|last1=Partridge|title=The case for inductive programming|journal=Computer|volume=30 | issue = 1|pages=36–41|year=1997|doi=10.1109/2.562924|s2cid=206403583 }}

Line 248:

* {{cite book | first1 = N. | last1 = Lavrac |author1-link=Nada Lavrač| first2 = S. | last2 = Dzeroski | title = Inductive Logic Programming: Techniques and Applications | publisher = Ellis Horwood | ___location = New York | year = 1994 | isbn = 978-0-13-457870-5 }} https://web.archive.org/web/20040906084947/http://www-ai.ijs.si/SasoDzeroski/ILPBook/

* {{cite journal|first1=S.|last1=Muggleton|first2=Luc.|last2=De Raedt|first3=D.|last3=Poole|first4=I.|last4=Bratko|first5=P.|last5=Flach|first6=K.|last6=Inoue|first7=A.|last7=Srinivasan|title=ILP turns 20|journal=Machine Learning|volume=86 | issue = 1|pages=3–23|year=2012|doi=10.1007/s10994-011-5259-2|doi-access=free}}

* {{cite journal|first1=S.|last1=Gulwani|first2=J.|last2=Hernandez-Orallo|first3=E.|last3=Kitzelmann|first4=S.H.|last4=Muggleton|first5=U.|last5=Schmid|author5-link= Ute Schmid |first6=B.|last6=Zorn|title=Inductive Programming Meets the Real World|journal=Communications of the ACM|volume=58 | issue = 11|pages=90–99|year=2015|doi=10.1145/2736282|url=http://cacm.acm.org/magazines/2015/11/193326-inductive-programming-meets-the-real-world/abstract|citeseerx=10.1.1.696.3800|hdl=10251/64984|s2cid=425881}}

{{refend}}

== External links ==

* [http://www.inductive-programming.org/ Inductive Programming community page], hosted by the University of Bamberg.

{{Programming paradigms navbox}}

[[Category:Programming paradigms]]