review-article

Free access

Inductive programming meets the real world

Authors:

Sumit Gulwani,

Jos� Hern�ndez-Orallo,

Emanuel Kitzelmann,

Stephen H. Muggleton,

Ute Schmid,

Benjamin ZornAuthors Info & Claims

Communications of the ACM, Volume 58, Issue 11

Pages 90 - 99

https://doi.org/10.1145/2736282

Published: 23 October 2015 Publication History

All formats PDF

Abstract

Inductive programming can liberate users from performing tedious and repetitive tasks.

References

[1]

Bengio, Y., Courville, A. and Vincent, P. Representation learning: A review and new perspectives. Pattern Analy. Machine Intell. 35, 8 (2013), 1798--1828.

Digital Library

Google Scholar

[2]

Bielawski, B. Using the convertfrom-string cmdlet to parse structured text. PowerShell Magazine, (Sept. 9, 2004); http://www.powershellmagazine.com/2014/09/09/using-the-convertfrom-string-cmdlet-to-parse-structured-text/

Google Scholar

[3]

Carlson, A., Betteridge, J., Kisiel, B., Settles, B., Hruschka-Jr, E.R. and T.M. Mitchell, T.M. Toward an architecture for never-ending language learning. In AAAI, 2010.

Digital Library

Google Scholar

[4]

Chandola, V., Banerjee, A. and V. Kumar, V. Anomaly detection: A survey. ACM Computing Surveys 41, 3 (2009), 15.

Digital Library

Google Scholar

[5]

Cypher, A. (Ed). Watch What I Do: Programming by Demonstration. MIT Press, Cambridge, MA, 1993.

Digital Library

Google Scholar

[6]

Ferri-Ram�rez, C., Hern�ndez-Orallo, J. and Ram�rez-Quintana, M.J. Incremental learning of functional logic programs. In Proceedings of FLOPS, 2001, 233--247.

Digital Library

Google Scholar

[7]

Flener, P. and Schmid, U. An introduction to inductive programming. AI Review 29, 1 (2009), 45--62.

Digital Library

Google Scholar

[8]

Gulwani, S. Dimensions in program synthesis. In Proceedings of PPDP, 2010.

Digital Library

Google Scholar

[9]

Gulwani, S. Automating string processing in spreadsheets using input-output examples. In Proceedings of POPL, 2011; http://research.microsoft.com/users/sumitg/flashfill.html.

Digital Library

Google Scholar

[10]

Gulwani, S. Example-based learning in computer-aided STEM education. Commun. ACM 57, 8 (Aug 2014), 70--80.

Digital Library

Google Scholar

[11]

Gulwani, S., Harris, W. and Singh, R. Spreadsheet data manipulation using examples. Commun. ACM 55, 8 (Aug. 2012), 97--105.

Digital Library

Google Scholar

[12]

Henderson, R.J. and Muggleton, S.H. Automatic invention of functional abstractions. Latest Advances in Inductive Logic Programming, 2012.

Google Scholar

[13]

Hern�ndez-Orallo, J. Deep knowledge: Inductive programming as an answer, Dagstuhl TR 13502, 2013.

Google Scholar

[14]

Hofmann, M. and Kitzelmann, E. I/O guided detection of list catamorphisms---towards problem specific use of program templates in IP. In ACM SIGPLAN PEPM, 2010.

Digital Library

Google Scholar

[15]

Jha, J., Gulwani, S., Seshia, S. and Tiwari, A. Oracle-guided component-based program synthesis. In Proceedings of the ICSE, 2010.

Digital Library

Google Scholar

[16]

Katayama, S. Efficient exhaustive generation of functional programs using Monte-Carlo search with iterative deepening. In Proceedings of PRICAI, 2008.

Digital Library

Google Scholar

[17]

Kitzelmann, E. Analytical inductive functional programming. LOPSTR 2008, LNCS 5438. Springer, 2009, 87--102.

Digital Library

Google Scholar

[18]

Kitzelmann, E. Inductive programming: A survey of program synthesis techniques. In AAIP, Springer, 2010, 50--73.

Google Scholar

[19]

Kitzelmann, E. and Schmid, U. Inductive synthesis of functional programs: An explanation based generalization approach. J. Machine Learning Research 7, (Feb. 2006), 429--454.

Digital Library

Google Scholar

[20]

Kotovsky, K., Hayes, J.R. and Simon, H.A. Why are some problems hard? Evidence from Tower of Hanoi. Cognitive Psychology 17, 2 (1985), 248--294.

Crossref

Google Scholar

[21]

Lau, T.A. Why programming-by-demonstration systems fail: Lessons learned for usable AI. AI Mag. 30, 4, (2009), 65--67.

Crossref

Google Scholar

[22]

Lau, T.A., Wolfman, S.A., Domingos, P. and Weld, D.S. Programming by demonstration using version space algebra. Machine Learning 53, 1-2 (2003), 111--156.

Digital Library

Google Scholar

[23]

Le, V. and Gulwani, S. FlashExtract: A framework for data extraction by examples. In Proceedings of PLDI, 2014.

Digital Library

Google Scholar

[24]

Lieberman, H. (Ed). Your Wish is My Command: Programming by Example. Morgan Kaufmann, 2001.

Digital Library

Google Scholar

[25]

Lin, D., Dechter, E., Ellis, K., Tenenbaum, J.B. and Muggleton, S.H. Bias reformulation for one-shot function induction. In Proceedings of ECAI, 2014.

Google Scholar

[26]

Marcus, G.F. The Algebraic Mind. Integrating Connectionism and Cognitive Science. Bradford, Cambridge, MA, 2001.

Crossref

Google Scholar

[27]

Mart�nez-Plumed, C. Ferri, Hern�ndez-Orallo, J. and M.J. Ram�rez-Quintana. On the definition of a general learning system with user-defined operators. arXiv preprint arXiv:1311.4235, 2013.

Google Scholar

[28]

Menon, A., Tamuz, O., Gulwani, S., Lampson, B. and Kalai, A. A machine learning framework for programming by example. In Proceedings of the ICML, 2013.

Google Scholar

[29]

Miller, R.C. and Myers, B.A. Multiple selections in smart text editing. In Proceedings of IUI, 2002, 103--110.

Digital Library

Google Scholar

[30]

Muggleton, S.H. Inductive Logic Programming. New Generation Computing 8, 4 (1991), 295--318.

Digital Library

Google Scholar

[31]

Muggleton, S.H. and Lin, D. Meta-interpretive learning of higher-order dyadic datalog: Predicate invention revisited. IJCAI 2013, 1551--1557.

Digital Library

Google Scholar

[32]

Muggleton, S.H., Lin, D., Pahlavi, N. and Tamaddoni-Nezhad, A. Meta-interpretive learning: application to grammatical inference. Machine Learning 94 (2014), 25--49.

Digital Library

Google Scholar

[33]

Muggleton, S.H., De Raedt, L., Poole, D., Bratko, I., Flach, P. and Inoue, P. ILP turns 20: Biography and future challenges. Machine Learning 86, 1 (2011), 3--23.

Digital Library

Google Scholar

[34]

Olsson, R. Inductive functional programming using incremental program transformation. Artificial Intelligence 74, 1 (1995), 55--83.

Digital Library

Google Scholar

[35]

Perelman, D., Gulwani, S., Grossman, D. and Provost, P. Test-driven synthesis. PLDI, 2014.

Digital Library

Google Scholar

[36]

Raza, M., Gulwani, S. and Milic-Frayling, N. Programming by example using least general generalizations. AAAI, 2014.

Crossref

Google Scholar

[37]

Schmid, U. and Kitzelmann, E. Inductive rule learning on the knowledge level. Cognitive Systems Research 12, 3 (2011), 237--248.

Digital Library

Google Scholar

[38]

Schmid, U. and Wysotzki, F. Induction of recursive program schemes. ECML 1398 LNAI (1998), 214--225.

Digital Library

Google Scholar

[39]

Shapiro, E.Y. An algorithm that infers theories from facts. IJCAI (1981), 446--451.

Digital Library

Google Scholar

[40]

Solar-Lezama, A. Program Synthesis by Sketching. Ph.D thesis, UC Berkeley, 2008.

Digital Library

Google Scholar

[41]

Summers, P.D. A methodology for LISP program construction from examples. JACM 24, 1 (1977), 162--175.

Digital Library

Google Scholar

[42]

Tenenbaum, J.B., Griffiths, T.L. and Kemp, C. Theory-based Bayesian models of inductive learning and reasoning. Trends in Cognitive Sciences 10, 7 (2006), 309--318.

Crossref

Google Scholar

[43]

Young, S. Cognitive user interfaces. IEEE Signal Processing 27, 3 (2010), 128--140.

Crossref

Google Scholar

Cited By

View all

Kodytek PBodzas AZidek J(2024)Automated code development based on genetic programming in graphical programming language: A pilot studyPLOS ONE10.1371/journal.pone.029945619:3(e0299456)Online publication date: 7-Mar-2024
https://doi.org/10.1371/journal.pone.0299456
Tian YKummerfeld JLi TZhang T(2024)SQLucid: Grounding Natural Language Database Queries with Interactive ExplanationsProceedings of the 37th Annual ACM Symposium on User Interface Software and Technology10.1145/3654777.3676368(1-20)Online publication date: 13-Oct-2024
https://dl.acm.org/doi/10.1145/3654777.3676368
Blazek PVenkatesh KLin M(2024)Automated discovery of algorithms from dataNature Computational Science10.1038/s43588-024-00593-94:2(110-118)Online publication date: 19-Feb-2024
https://doi.org/10.1038/s43588-024-00593-9
Show More Cited By

Index Terms

Inductive programming meets the real world
1. Computing methodologies

Recommendations

Introductory programming meets the real world: using real problems and data in CS1
SIGCSE '14: Proceedings of the 45th ACM technical symposium on Computer science education
Real World Functional Programming: With Examples in F# and C#
Advances in Inductive Logic Programming

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 58, Issue 11

November 2015

112 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/2838899

Editor:
Moshe Y. Vardi
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 October 2015

Published in�CACM�Volume 58, Issue 11

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Review-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

87
Total Citations
View Citations
24,439
Total Downloads

Downloads (Last 12 months)2,268
Downloads (Last 6 weeks)46

Reflects downloads up to 17 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kodytek PBodzas AZidek J(2024)Automated code development based on genetic programming in graphical programming language: A pilot studyPLOS ONE10.1371/journal.pone.029945619:3(e0299456)Online publication date: 7-Mar-2024
https://doi.org/10.1371/journal.pone.0299456
Tian YKummerfeld JLi TZhang T(2024)SQLucid: Grounding Natural Language Database Queries with Interactive ExplanationsProceedings of the 37th Annual ACM Symposium on User Interface Software and Technology10.1145/3654777.3676368(1-20)Online publication date: 13-Oct-2024
https://dl.acm.org/doi/10.1145/3654777.3676368
Blazek PVenkatesh KLin M(2024)Automated discovery of algorithms from dataNature Computational Science10.1038/s43588-024-00593-94:2(110-118)Online publication date: 19-Feb-2024
https://doi.org/10.1038/s43588-024-00593-9
Steen ABenzm�ller C(2024)Challenges for Non-Classical Reasoning in Contemporary AI ApplicationsKI - K�nstliche Intelligenz10.1007/s13218-024-00855-8Online publication date: 4-Jul-2024
https://doi.org/10.1007/s13218-024-00855-8
Atzmueller MF�rnkranz JKliegr TSchmid U(2024)Explainable and interpretable machine learning and data miningData Mining and Knowledge Discovery10.1007/s10618-024-01041-y38:5(2571-2595)Online publication date: 1-Sep-2024
https://dl.acm.org/doi/10.1007/s10618-024-01041-y
McDaid EMcDaid S(2024)Test Case Features as Hyper-heuristics for Inductive ProgrammingArtificial Intelligence Applications and Innovations10.1007/978-3-031-63219-8_27(362-375)Online publication date: 22-Jun-2024
https://doi.org/10.1007/978-3-031-63219-8_27
Wali AMahamad SSulaiman S(2023)Task Automation Intelligent Agents: A ReviewFuture Internet10.3390/fi1506019615:6(196)Online publication date: 29-May-2023
https://doi.org/10.3390/fi15060196
Bowers MOlausson TWong LGrand GTenenbaum JEllis KSolar-Lezama A(2023)Top-Down Synthesis for Library LearningProceedings of the ACM on Programming Languages10.1145/35712347:POPL(1182-1213)Online publication date: 11-Jan-2023
https://dl.acm.org/doi/10.1145/3571234
Sobania DSchweim DRothlauf F(2023)A Comprehensive Survey on Program Synthesis With Evolutionary AlgorithmsIEEE Transactions on Evolutionary Computation10.1109/TEVC.2022.316232427:1(82-97)Online publication date: Feb-2023
https://doi.org/10.1109/TEVC.2022.3162324
Ma'ayan DMaoz SGrundy JPollock LPenta M(2023)Using Reactive Synthesis: An End-to-End Exploratory Case StudyProceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00071(742-754)Online publication date: 14-May-2023
https://dl.acm.org/doi/10.1109/ICSE48619.2023.00071
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF Chinese translation

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Introductory programming meets the real world: using real problems and data in CS1

Real World Functional Programming: With Examples in F# and C#

Advances in Inductive Logic Programming

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations