TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 23442

Approaches and Applications of Inductive Programming

( Oct 29 – Nov 03, 2023 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/23442

Organizers

Contact

Shared Documents

Schedule

Motivation

The goal of Inductive Programming (IP), also called inductive program synthesis, is to learn computer programs from data. IP is a special case of induction addressing the automated or semi-automated generation of a computer program from incomplete information, such as input-output examples, demonstrations (aka programming by example), or computation traces. Mostly, declarative (logic or functional) programs are synthesized and learned programs are often recursive. Examples are learning list manipulation programs, learning strategies for game playing, or learning constraints for scheduling problems. The goal of IP is to induce computer programs from data. IP interests researchers from many areas of computer science, including machine learning, automated reasoning, program verification, and software engineering. Furthermore, IP contributes to research outside computer science, notably in cognitive science, where IP can help build models of human inductive learning and contribute methods for intelligent tutor systems for programming education. IP is also of relevance for researchers in industry, providing tools for end-user programming such as the Microsoft Excel plug-in FlashFill.

Focus topics of the planned seminar will be on different aspects of neuro-symbolic approaches for IP, especially:

  • Bringing together learning and reasoning,
  • IP as a post-hoc approach to explaining decision-making of deep learning blackbox models, and
  • exploring the potential of deep learning approaches, especially large language models such as OpenAI Codex for IP.

Furthermore, interactive approaches of IP will be discussed together with recent research on machine teaching. Potential applications of such approaches to end-user programming, as well as programming education will be explored based on cognitive science research on concept acquisition and human teaching.

Participants are encouraged to upload information about their research interests and topics they want to discuss before the seminar starts and also to browse the information offered by the other participants beforehand. The seminar is the sixth in a series which has started in 2013. A long-term objective of the seminar is to establish IP as a self-contained research topic in AI, especially as a field of ML and cognitive modelling. The seminar serves as a community-building event by bringing together researchers from different areas of IP, from different application areas such as end-user programming and tutoring and cognitive science research, especially from cognitive models of inductive (concept) learning. For successful community building, we seek to balance junior and senior researchers and to mix researchers from universities and industry.

Copyright Andrew Cropper, Luc De Raedt, Richard Evans, and Ute Schmid

Participants

Related Seminars
  • Dagstuhl Seminar 13502: Approaches and Applications of Inductive Programming (2013-12-08 - 2013-12-11) (Details)
  • Dagstuhl Seminar 15442: Approaches and Applications of Inductive Programming (2015-10-25 - 2015-10-30) (Details)
  • Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming (2017-09-17 - 2017-09-20) (Details)
  • Dagstuhl Seminar 19202: Approaches and Applications of Inductive Programming (2019-05-12 - 2019-05-17) (Details)
  • Dagstuhl Seminar 21192: Approaches and Applications of Inductive Programming (2021-05-09 - 2021-05-12) (Details)

Classification
  • Artificial Intelligence
  • Human-Computer Interaction
  • Machine Learning

Keywords
  • Interpretable Machine Learning
  • Neuro-symbolic AI
  • Explainable AI
  • Human-like Machine Learning
  • Inductive Logic Programming