ClassroomThe classroom
Back to the lesson libraryMECHANISM · 13 MIN
M04.7 CONNECT THE MECHANISM

Search for a program that fits a specification

Type "A. Lovelace" next to "Ada Lovelace" and a spreadsheet fills in the rest of the column. How does a computer find a program from one example, and how can it guess wrong?

LESSON OVERVIEW13 min lesson

Lesson overview

Type "A. Lovelace" next to "Ada Lovelace" and a spreadsheet fills in the rest of the column. How does a computer find a program from one example, and how can it guess wrong?

What you’ll explore

  • Program synthesis constructs executable rules from specifications or examples; inductive logic learning adds background knowledge, and testing must distinguish fitting examples from satisfying the intended task.
GO TO THE SOURCE

Original explanations, connected to the research.

Artificial Intelligence: A Modern Approach — authors’ materials
Suggest a correction

A precise note can make an explanation better.

Choose the scene and describe what needs attention. Download a feedback file to share through a channel you already use. This page does not send feedback or connect you with a reviewer.

The file includes this note, the scene title, and lesson metadata. Your saved progress and quiz responses are excluded. Download before leaving or reloading to keep your note.