Explanation-Based Generalization: A Unifying View
Open accessThe 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.
Integrity signals
Registry
Cites
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.
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?
Inductive generalisation and predicate invention are not achieved in existing EBG paradigms, which assume a complete first-order domain theory.
“A key difference is that inductive generalisation and predicate invention are not achieved in existing EBG paradigms, which assume a complete first-order domain theory.”
From Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited (2015) · cites this paper as Mitchell et al. 1986
Section 4.2.1 says EBG assumes a domain theory sufficient to prove the training example belongs to the goal concept, so its generalizations follow deductively from existing knowledge. The EBG as Reformulating/Operationalizing/Deducing section likewise says the method compiles deductive consequences of its domain theory. These passages support the distinction from inductive generalisation, but they do not establish that EBG requires a complete first-order domain theory or address predicate invention. (LLM, conf=0.85)
Experimental — accuracy not yet measured
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
Principles of Artificial Intelligence
Nilsson, N. J. (1982) · doi:10.1007/978-3-662-09438-9 · Cited by 3,457 · cited 2× · see citing works
“We employ a slightly modified version of the goal-regression algorithm described by Waldinger (1977) and Nilsson (1980).”
Method
Flagged first, then by citations
Research works printed but not linked: 52
- Borgida, A., Mitchell, T. & Williamson, K.E. (1985). Learning improved integrity constraints and schemas from exceptions in data and knowledge bases. In M.L. Brodie & J. Mylopoulos (Eds.), On knowledge base management systems. New York, NY: Springer Verlag.
- DeJong, O. (1981). Generalizations based on explanations. Proceedings of the Seventh International Joint Conference on Artificial Intelligence (pp. 67-69).
- Vancouver, B.C., Canada: Morgan Kaufmann.
- DeJong, G. (1983). Acquiring schemata through understanding and generalizing plans. Proceedings of the Eighth International Joint Conference on Artificial Intelligence (pp. 462-464). Karlsruhe, West Germany: Morgan Kaufmann.
- DeJong, G. (1985). A brief overview of explanatory schema acquisition. Proceedings of the Third Interna- tional Machine Learning Workshop. Skytop, PA, June.
- DeJong, G., & Mooney, R. (in press). Explanation-based learning: An alternative view. Machine learning.
- Dietterich, T.G., London, B., Clarkson, K., & Dromey, G. (1982). Learning and Inductive Inference. In P.R. Cohen, & E.A. Feigenbaum (Eds.), The handbook of artificial intelligence. Los Altos, CA: William Kaufmann, Inc.
- Dijkstra, E.W. (1976). A discipline of programming. Englewood Cliffs, NJ: Prentice Hall.
- Ellman, T. (1985). Explanation-based learning in logic circuit design. Proceedings of the Third Interna- tional Machine Learning Workshop. Skytop, PA, June.
- Fikes, R., Hart, P., & Nilsson, N.J. (1972). Learning and executing generalized robot plans. Artificial intelligence, 3, 251-288. Also in B.L. Webber & N.J. Nilsson (Eds.), Readings in artificial intelligence.
- Kedar-Cabelli, S.T. (1985). Purpose-directed analogy. Proceedings of the Cognitive Science Society Con- ference. Irvine, CA: Morgan Kaufmann.
- Keller, R.M. (1983). Learning by re-expressing concepts for efficient recognition. Proceedings of the Na- tional Conference on Artificial Intelligence (pp 182-186).
- Washington, D.C.: Morgan Kaufmann.
- Keller, R.M. (1985). Development of a framework for contextual concept learning. Proceedings of the Third International Machine Learning Workshop. Skytop, PA, June.
- Keller, R.M. (1986). Contextual learning: A performance-based model of concept acquisition. Unpublish- ed doctoral dissertation, Rutgers University.
- Kibler, D., & Porter, B. (1985). A comparison of analytic and experimental goal regression for machine learning. Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Los Angeles, CA: Morgan Kaufmann.
- Laird, J.E., Rosenbloom, P.S., Newell, A. (1984). Toward chunking as a general learning mechanism, (pp 188-192). Proceedings of the National Conference on Artificial Intelligence. Austin, TX: Morgan Kaufmann.
- Lebowitz, M. (1985). Concept learning in a rich input domain: Generalization-based memory. In R.S. Michalski, J.G. Carbonell & T.M. Mitchell (Eds.), Machine learning: An artificial intelligence ap- proach, Vol. 2. Los Altos, CA: Morgan Kaufmann.
- Mahadevan, S. (1985). Verification-based learning: A generalization strategy for inferring problem- decomposition methods. Proceedings of the Ninth International Joint Conference on Artificial In- telligence. Los Angeles, CA: Morgan Kaufmann.
- Michalski, R.S. (1983). A theory and methodology of inductive learning. Artificial intelligence, 20, 111-161. Also in R.S. Michalski, J.G. Carbonell & T.M. Mitchell (Eds.), Machine learning: An ar- tificial intelligence approach.
- Minton, S. (1984). Constraint-based generalization: Learning game-playing plans from single examples, (pp 251-254). Proceedings of the National Conference on Artificial Intelligence. Austin, TX: Morgan Kaufmann.
- Mitchell, T.M. (1978). Version spaces: An approach to concept learning. PhD thesis, Department of Elec- trical Engineering, Stanford University. Also Stanford CS reports STAN-CS-78-711, HPP-79-2.
- Mitchell, T.M. (1982). Generalization as search. Artificial intelligence, March, 18(2), 203-226.
- Mitchell, T.M. (1983). Learning and Problem Solving. Proceedings of the Eighth International Joint Con- ference on Artificial Intelligence (pp 1139-1151). Karlsruhe, West Germany: Morgan Kaufmann.
- Mitchell, T.M. (1984). Toward combining empirical and analytic methods for learning heuristics. In A. Elithorn & R. Banerji (Eds.), Human and artificial intelligence. Amsterdam: North-Holland Publishing Co. Also Rutgers Computer Science Department Technical Report LCSR-TR-27, 1981.
- Mitchell, T.M., Utgoff, P.E., & Banerji, R.B. (1983). Learning by experimentation: Acquiring and refining problem-solving heuristics. In R.S. Michalski, J.G. Carbonell & T.M. Mitchell (Eds.), Machine learning. Palo Alto, CA: Tioga.
- Mitchell, T.M., Mahadevan, S., & Steinberg, L. (1985). LEAP: A learning apprentice for VLSI design. Proceedings of the Ninth International Joint Conference on Artificial Intelligence (pp. 573 -580). Los Angeles, CA: Morgan Kaufmann.
- Mooney, R. (1985). Generalizing explanations of narratives into schemata. Proceedings of the Third International Machine Learning Workshop. Skytop, PA.
- Mostow, D.J. (1981). Mechanical transformation of task heuristics into operational procedures. PhD thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA.
- Mostow, D.J. (1983). Machine transformation of advice into a heuristic search procedure. In R.S. Michalski, J.G. Carbonell, & T.M. Mitchell (Eds.), Machine learning. Palo Alto, CA: Tioga.
- O'Rorke, P. (1984). Generalization for explanation-based schema acquisition. Proceedings of the Na- tional Conference on Artificial Intelligence (pp 260-263).
- O'Rorke, P. (1985). Recent progress on the 'mathematician's apprentice' project. Proceedings of the Third International Machine Learning Workshop. Skytop, PA.
- Quinlan, J.R. (1985). The effect of noise on concept learning. In R.S. Michalski, J.G. Carbonell & T.M. Mitchell (Eds.), Machine learning: An artificial intelligence approach, Vol. 2. Los Altos, CA: Morgan Kaufmann. Modified, also in Proceedings of the Second International Machine Learning Workshop.
- Rajamoney, S. (1985). Conceptual knowledge acquisition through directed experimentation. Proceedings of the Third International Machine Learning Workshop. Skytop, PA.
- Salzberg, S., & Atkinson, D.J. (1984). Learning by building causal explanations. Pro- ceedings of the Sixth European Conference on Artificial Intelligence (pp 497 -500). Pisa, Italy.
- Schank, R.C. (1982). Looking at learning. Proceedings of the Fifth European Conference on Artificial Intelligence (pp 11 -18). Paris, France.
- Schooley, P. (1985). Learning state evaluation functions. Proceedings of the Third International Machine Learning Workshop. Skytop, PA.
- Segre, A.M. (1985). Explanation-based manipulator learning. Proceedings of the Third International Machine Learning Workshop. Skytop, PA.
- Shavlik, J.W. (1985). Learning classical physics. Proceedings of the Third International Machine Learn- ing Workshop. Skytop, PA.
- Sims, M. (1985). An investigation of the nature of mathematical discovery. Proceedings of the Third Inter- national Machine Learning Workshop. Skytop, PA.
- Silver, B. (1983). Learning equation solving methods from worked examples. Proceedings of the Second International Machine Learning Workshop (pp. 99-104). Urbana, IL.
- Soloway, E.M. (1978). Learning = interpretation + generalization: A case study in knowledge-directed learning. PhD thesis, Department of Computer and Information Science, University of Massachusetts, Amherst. Computer and Information Science Report COINS TR-78-13.
- Tadepalli, P.V. (1985). Learning in intractable domains. Proceedings of the Third International Machine Learning Workshop. Skytop, PA.
- Utgoff, P.E. (1983). Adjusting bias in concept learning. Proceedings of the Eighth International Con- ference on Artificial Intelligence (pp. 447-449). Karlsruhe, West Germany: Morgan Kaufmann.
- Utgoff, P.E. (1984). Shift of bias for inductive concept learning. PhD thesis, Department of Computer Science, Rutgers University, New Brunswick, NJ.
- Utgoff, P.E. (1985). Shift of bias for inductive concept learning. In R.S. Michalski, J.G. Carbonell & T.M. Mitchell (Eds.), Machine learning: An artificial intelligence approach, Vol. 2. Los Altos, CA: Morgan Kaufmann. Modified, also in Proceedings of the Second International Machine Learning Workshop.
- Waldinger, R. (1977). Achieving several goals simultaneously. In E. Elcock & D. Michie, D. (Eds.), Machine intelligence 8, London: Ellis Horwood, Limited. Also in B.L. Webber & N.J. Nilsson (Eds.), Readings in artificial intelligence.
- Watanabe, M. (1985). Learning implementation rules in operating-conditions depending on states in VLSI design. Proceedings of the Third International Machine Learning Workshop. Skytop, PA.
- Williamson, K. (1985). Learning from exceptions to constraints in databases. Proceedings of the Third International Machine Learning Workshop. Skytop, PA.
- Winston, P.H. (1985). Learning by augmenting rules and accumulating censors. In R.S. Michalski, J.G. Carbonell & T.M. Mitchell (Eds.), Machine learning: An artificial intelligence approach, Vol. 2. Los Altos, CA: Morgan Kaufmann.
- Winston, P.H. Binford, T.O., Katz, B., & Lowry, M. (1983). Learning physical descriptions from func- tional definitions, examples, and precedents. National Conference on Artificial Intelligence (pp. 433-439).
- Washington, D.C.: Morgan Kaufmann.
Cited by
Sorted by citations
Deep learning in neural networks: an overview
Schmidhuber, J. (2015) · Neural Networks · doi:10.1016/j.neunet.2014.09.003 · Cited by 18,570 · see citing works
Barsalou, L. W. (1999) · Behavioral and Brain Sciences · doi:10.1017/s0140525x99002149 · Cited by 6,887 · see citing works
Explanation in artificial intelligence: Insights from the social sciences
Miller, T. (2019) · Artificial Intelligence · doi:10.1016/j.artint.2018.07.007 · Cited by 5,302 · see citing works
Building machines that learn and think like people
Lake, B. M., Ullman, T. D., Tenenbaum, J. B., & Gershman, S. J. (2017) · Behavioral and Brain Sciences · doi:10.1017/s0140525x16001837 · Cited by 2,550 · see citing works
Self-explanations: How students study and use examples in learning to solve problems
Chi, M. (1989) · Cognitive Science · doi:10.1016/0364-0213(89)90002-5 · Cited by 2,287 · see citing works
Self‐Explanations: How Students Study and Use Examples in Learning to Solve Problems
Chi, M. T. H., Bassok, M., Lewis, M. W., Reimann, P., & Glaser, R. (1989) · Cognitive Science · doi:10.1207/s15516709cog1302_1 · Cited by 1,714 · see citing works
Learning Logical Definitions from Relations
Quinlan, J. R. (1990) · Machine Learning · doi:10.1023/a:1022699322624 · Cited by 1,644 · see citing works
Learning in the Presence of Concept Drift and Hidden Contexts
Widmer, G., & Kubat, M. (1996) · Machine Learning · doi:10.1023/a:1018046501280 · Cited by 1,857 · see citing works
Koedinger, K. R., Corbett, A. T., & Perfetti, C. (2012) · Cognitive Science · doi:10.1111/j.1551-6709.2012.01245.x · Cited by 772 · see citing works
Perceptions of perceptual symbols
Barsalou, L. W. (1999) · Behavioral and Brain Sciences · doi:10.1017/s0140525x99532147 · Cited by 620 · see citing works
Relational Reinforcement Learning
Džeroski, S., De Raedt, L., & Driessens, K. (2001) · Machine Learning · doi:10.1023/a:1007694015589 · Cited by 371 · see citing works
A model of the self-explanation effect.
VanLehn, K., Jones, R. M., & Chi, M. T. H. (1992) · Journal of the Learning Sciences · doi:10.1207/s15327809jls0201_1 · Cited by 305 · see citing works
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
Muggleton, S. H., Lin, D., & Tamaddoni-Nezhad, A. (2015) · Machine Learning · doi:10.1007/s10994-014-5471-y · Cited by 184 · see citing works
Robot task planning and explanation in open and uncertain worlds
Hanheide, M., Göbelbecker, M., Horn, G. S., Pronobis, A., Sjöö, K., Aydemir, A., Jensfelt, P., Gretton, C., Dearden, R., Janicek, M., et al. (2017) · Artificial Intelligence · doi:10.1016/j.artint.2015.08.008 · Cited by 145 · see citing works
Explanation-Based Generalization as Resolution Theorem Proving
KEDAR-CABELLI, S. T., & MCCARTY, L. T. (1987) · Proceedings of the Fourth International Workshop on MACHINE LEARNING · doi:10.1016/b978-0-934613-41-5.50041-6 · Cited by 123 · see citing works
Self-citationA learning system for communications network configuration
Jennings, A. (1988) · Engineering Applications of Artificial Intelligence · doi:10.1016/0952-1976(88)90001-2 · Cited by 3 · see citing works
- Authors
- Mitchell, T. M., Keller, R. M., & Kedar-Cabelli, S. T.
- Affiliations
- Rutgers, The State University of New Jersey (US)
- ORCID
- Mitchell, Tom M.
- Venue
- Machine Learning
- Published
- 1986-03
- Volume
- 1
- Issue
- 1
- Pages
- 47-80
- ISSN
- 0885-6125 (ISSN-L)
- 1573-0565
- OpenAlex
- W2180885055
- Cited by
- 1,382
- References
- 1
- Citations by year
- 2026: 2 · 2025: 24 · 2024: 8 · 2023: 11 · 2022: 9 · 2021: 7 · 2020: 12 · 2019: 6 · 2018: 11 · 2017: 10 · 2016: 11 · 2015: 6 · 2014: 11 · 2013: 7 · 2012: 8
- FWCI
- 104.74
- Type
- journal article
- Language
- en
- Open access
- bronze
- doi.org
- Licence
- Locations
- Machine Learning (publishedVersion)
- Funders
- National Science Foundation (8351523, 8008889)
- National Institutes of Health
- Defense Advanced Research Projects Agency
- Advanced Research Projects Agency
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Physical Sciences › Computer Science › Artificial Intelligence › Machine Learning and Algorithms
- Physical Sciences › Computer Science › Artificial Intelligence › Domain Adaptation and Few-Shot Learning
- Keywords
- explanation-based generalization, concept learning, domain knowledge, explanation-based learning, unified framework, inductive generalization
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