Induktiv programmering

term_id: inductive_programming

Category: basic_concepts

Definition

Induktiv programmering, ofta kallad programsyntes, innebär att skapa mjukvarukod baserat på specifikationer tillhandahållna som indata-och-utdata-par snarare än explicita instruktioner. Systemet härleder logiken från exemplen.

Summary

Ett fält inom programsyntes som automatiskt genererar datorprogram från indata-och-utdata-exempel.

Key Concepts

  • Programsyntes
  • Indata-och-utdata-exempel
  • Automatisk kodning
  • Logisk inferens

Use Cases

  • Verktyg för kodkomplettering
  • Generering av skript från data
  • Pedagogiska programmeringshjälpmedel