Cited by 3,279Machine Learning and AlgorithmsComputability, Logic, AI Algorithmssemigroups and automata theory

A theory of the learnable

Open access
Valiant, L. G.·1984·Communications of the ACM

Abstract

Humans appear to be able to learn new concepts without needing to be programmed explicitly in any conventional sense.In this paper we regard learning as the phenomenon of knowledge acquisition in the absence of explicit programming.We give a precise methodology for studying this phenomenon from a computational viewpoint.It consists of choosing an appropriate information gathering mechanism, the learning protocol, and exploring the class of concepts that can be learned using it in a reasonable (polynomial) number of steps.Although inherent algorithmic complexity appears to set serious limits to the range of concepts that can be learned, we show that there are some important nontrivial classes of propositional concepts that can be learned in a realistic sense.

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Integrity signals

Registry

Crossref · 10.1145/1968.1972

Cites

3 of 3 references verified0 citation errors · 0 not checkable

Statistics

Claims the paper makes

The claims and statistics of this paper haven’t been checked yet.

Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.

A few free checks a day · papers already verified open instantly · results are public

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • The theoretical characterization of catastrophic forgetting bounds is established through a framework grounded in PAC learning theory, enabling probabilistic guarantees on retention performance across sequential tasks.

    “The theoretical characterization of catastrophic forgetting bounds is established through a rigorous framework grounded in Probably Approximately Correct (PAC) learning theory”

    From Mitigating catastrophic forgetting in lifelong learning: a hybrid architecture integrating neural ordinary differential equations with memory-augmented transformers (2025) · cites this paper as [38]

    Section 3 (LEARNABILITY; page unavailable) defines probabilistic guarantees for learning Boolean concepts, supporting the reference to a PAC-style framework. Neither that section nor the passages found on further search establish catastrophic-forgetting bounds or guarantees for retention across sequential tasks. (LLM, conf=0.85)

    Experimental — accuracy not yet measured
  • The expected performance degradation on task T_j after learning task T_i (i>j) is bounded by ε_forget(n,δ,|H|) with probability at least 1-δ.

    “The forgetting bound quantifies the maximum expected performance degradation on task”

    From Mitigating catastrophic forgetting in lifelong learning: a hybrid architecture integrating neural ordinary differential equations with memory-augmented transformers (2025) · cites this paper as [38]

    Section 3 (LEARNABILITY; page unavailable) bounds error when learning a single program, and Section 4 (A COMBINATORIAL BOUND; page unavailable) concerns sampling. Our copy does not address performance degradation on an earlier task after learning a later one or define ε_forget(n,δ,|H|). Searches for forgetting, sequential tasks, and that bound found no relevant passage. (LLM, conf=0.76)

    Experimental — accuracy not yet measured
  • Non-deterministic ML algorithms produce outputs expressed in probabilistic terms.

    “Research focusing on inconclusive evidence refers to the way in which non-deterministic, ML algorithms produce outputs that are expressed in probabilistic terms (James et al. 2013;Valiant 1984).”

    From The ethics of algorithms: key problems and solutions (2022) · cites this paper as Valiant 1984

  • ML algorithms generally identify association and correlation between variables in underlying data, but not causal connections.

    “These types of algorithms generally identify association and correlation between variables in the underlying data, but not causal connections.”

    From The ethics of algorithms: key problems and solutions (2022) · cites this paper as Valiant 1984

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

The self-check needs the paper’s full text.

Cites

Flagged first, then by citations

Research works printed but not linked: 5

  1. Barr, A., and Feigenbaum, E.A. The Handbook of Artificial Intelligence. Vol. 2. William Kaufmann, Los Altos, Calif., 1982.
  2. Duda, R.O., and Hart, P.F. Pattern Classification and Scene Analysis. Wiley, New York. 1973.
  3. ErdSs, P., and Spencer, J. Probabilistic Methods in Combinatorics. Aca- demic Press, New York, 1974.
  4. Goldreich, O., Goldwasser, S., and Micali, S. How to construct ran- dom functions. In Proceedings of 25th IEEE Symposium on Foundations of Computer Science (Singer Island, Fla., Oct. 24-26). IEEE, New York, 1984.
  5. Valiant, L.G. Deductive learning. Philosophical Transactions of the Royal Society of London (1984). To be published. CR Categories and Subject Descriptors: F.1.1 [Computation by Ab- stract Devices[: Models of Computation; F.2.2 [Analysis of Algorithms and Problem Complexity[: Nonnumerical Algorithms and Problems; L2.6 Artificial Intelligence]: Learning--concept learning General Terms: Algorithms Additional Key Words and Phrases: inductive inference, probabilis- tic models of learning, propositional expressions

Cited by

Sorted by citations

Authors
Valiant, L. G.
Affiliations
Harvard University (US)
Corresponding author
Valiant, L. G.
Venue
Communications of the ACM
Published
1984-11-05
Volume
27
Issue
11
Pages
1134-1142
ISSN
  • 0001-0782 (ISSN-L)
  • 1557-7317
OpenAlex
W4238893454
Cited by
3,279
References
3
Citations by year
2026: 58 · 2025: 93 · 2024: 117 · 2023: 106 · 2022: 123 · 2021: 116 · 2020: 96 · 2019: 91 · 2018: 89 · 2017: 94 · 2016: 89 · 2015: 84 · 2014: 62 · 2013: 91 · 2012: 71
FWCI
10.16
Type
journal article
Language
en
Open access
Locations
Communications of the ACM (publishedVersion)
Funders
National Science Foundation
Topics
  • Physical Sciences › Computer Science › Artificial Intelligence › Machine Learning and Algorithms
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Computability, Logic, AI Algorithms
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › semigroups and automata theory
Keywords
learnability, concept learning, knowledge acquisition, learning protocols, information gathering, computational complexity, algorithmic complexity, computational learning theory

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review