Induktiivinen ohjelmointi

term_id: inductive_programming

Category: basic_concepts

Definition

Induktiivinen ohjelmointi, jota kutsutaan usein myös ohjelmointiyhdistelyksi (program synthesis), tarkoittaa ohjelmakoodin luomista spesifikaatioiden perusteella, jotka on annettu syöte-lähtö-parien muodossa eksplisiittisten ohjeiden sijaan. Järjestelmä johtaa ohjelman logiikan esimerkeistä induktiivisesti.

Summary

Ohjelmointiyhdistelyn ala, jossa tietokoneohjelmat luodaan automaattisesti syöte-lähtö-esimerkkien perusteella.

Key Concepts

  • Ohjelmointiyhdistely
  • Syöte-lähtö-esimerkit
  • Automaattinen koodaus
  • Logiikkajohtopäätös

Use Cases

  • Koodin täydennustyökalut
  • Skriptien generointi datasta
  • Koulutukselliset ohjelmointityökalut