Abstract
This paper describes and places in context a continuing research program aimed at constructing effective, autonomous learning systems. We emphasize the role of knowledge that the system itself possesses in generating and selecting among inductive hypotheses. Inductive learning has often been characterized as a search in a hypothesis space for hypotheses consistent with observations. It is shown that committing to a given hypothesis space is equivalent to believing a certain logical sentence — the declarative bias. We show how many kinds of declarative bias can be relatively efficiently represented and derived from background knowledge, and discuss possibilities and problems for building complete learning systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baker, A. B., and Ginsberg, M. L. (1989) A Theorem-Prover for Prioritized Circumscription. San Mateo, CA, Proceedings of IJCAI-89: Morgan Kaufmann.
Blum, L., and Blum, M. (1975) Toward a mathematical theory of inductive inference. Information and Control, 28, 125–155.
Buchanan, B. G., and Mitchell, T. M. (1978) Model-directed Learning of Production Rules. In Waterman, D. A., and Hayes-Roth, F., (Eds.) Pattern-directed Inference Systems. New York: Academic Press.
Bundy, A., Silver, B., and Plummer, D. (1985) An Analytical Comparison of Some Rule-Learning Programs. Artificial Intelligence, 27.
Buntine, W. (1986) Generalized Subsumption and its Application to Induction and Redundancy. In Proceedings of ECAI-86, Brighton, UK.
Carnap, R. (1952) The Continuum of Inductive Methods. University of Chicago Press, Chicago, IL.
Davies, T. (1985) Analogy. Informal Note CSLI-IN-85-4, CSLI, Stanford, CA.
Davies, T. R., and Russell, S. J. (1987) A Logical Approach to Reasoning by Analogy. In Proceedings of IJCAI-87, Milan, Italy: Morgan Kaufmann.
Davies, T. R. (1988) Determination, Uniformity, and Relevance: Normative Criteria for Generalization and Reasoning by Analogy. Stanford, CA, Report No. CSLI-88-126: Stanford University Center for the Study of Language and Information.
Dietterich, T. G. (1986) Learning at the Knowledge Level. Machine Learning, 1(3).
Genesereth, M. R. (1983) An Overview of Meta-Level Architecture. In Proceedings of AAAI-83, Austin, TX: Morgan Kaufmann, 119–124.
Genesereth, M. R., and Nilsson, N. J. (1987) Logical Foundations of Artificial Intelligence. Los Altos, CA: Morgan Kaufmann.
Getoor, L. (1989) The Instance Description: How It Can Be Derived and the Use of its Derivation. M.S. Report, Computer Science Division, University of California, Berkeley.
Goodman, N. (1955) Fact, fiction and forecast. Cambridge, MA: Harvard University Press.
Greiner, R., and Genesereth, M. R. (1985) What’s New? A Semantic Definition of Novelty In Proceedings of IJCAI-83, Los Altos, CA: William Kaufmann.
Greiner, R. (1989) Towards A Formal Analysis of EBL In Proceedings of the Sixth International Workshop on Machine Learning, San Mateo, CA: Morgan Kaufmann.
Grosof, Benjamin N., and Russell, Stuart J., (1989) Shift of Bias As Non-Monotonic Reasoning. In Machine Learning, Meta-Reasoning, and Logics, Kluwer Academic. (Based on the Proceedings of the Workshop held in Sesimbra, Portugal, February 1988.)
Grosof, B. N., and Russell, S. J. (1989) Declarative Bias for Structural Domains. In Proceedings of the Sixth International Workshop on Machine Learning, San Mateo, CA: Morgan Kaufmann.
Grosof, B. N. (forthcoming) Non-Monotonic Theories: Structure, Inference, and Applications (working title). Ph. D. thesis (in preparation), Stanford University, Stanford, CA.
Haussler, D. (1988a). Quantifying Inductive Bias: AI Learning Algorithms and Valiant’s Learning Framework. Technical report, Department of Computer Science, University of California, Santa Cruz, CA.
Hirsh, H. (1987) Explanation-based generalization in a logic programming environment. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milan, Italy.
Holland, J. H., Holoake, K. J., Nisbett, R. E., and Thagard, P. R. (1986) Induction, Cambridge, Mass.: M.I.T. Press.
Kedar-Cabelli, S. T., and McCarty, L. T. (1987) EBG as Resolution Theorem Proving In Proceedings of the Fourth International Workshop on Machine Learning, Los Altos, CA: Morgan Kaufmann.
Keller, R. M. (1987) Defining operationality for explanation-based learning. In Proceedings of the Sixth National Conference on Artificial Intelligence, Seattle, WA.
Lifschitz, Vladimir (1984) Some Results On Circumscription. In Proceedings of the first AAAI Non-Monotonic Reasoning Workshop, pp. 151–64, New Paltz, NY, Oct. 1984.
Lifschitz, Vladimir, (1985) “Computing Circumscription”. In Proceedings of IJCAI-85, pp. 121–127.
Mahadevan, S. (1989) Using Determinations in EBL: A Solution to the Incomplete Theory Problem. In Proceedings of the Sixth International Workshop on Machine Learning, San Mateo, CA: Morgan Kaufmann.
McCarthy, John (1986) Applications of Circumscription to Formalizing Common-Sense Knowledge. In Artificial Intelligence, Vol. 28, No. 1, pp. 89–116, Feb. 1986.
Michalski, R. S. (1983) A Theory and Methodology of Inductive Learning. Artificial Intelligence, 20(2).
Mitchell, Tom M. (1980) The Need for Biases in Learning Generalizations. Technical report TR CBM-TR-117, Computer Science Department, Rutgers University, New Brunswick, NJ.
Mitchell, Tom M. (1982) Generalization as Search. Artificial Intelligence, 18(2), 203–226.
Mitchell, T. M., Utgoff, P., and Banerji, R. (1983) Learning by Experimentation: Acquiring and Refining Problem-Solving Heuristics. In Carbonell, J. G., Michalski, R., and Mitchell T., (eds.) Machine Learning: an Artificial Intelligence Approach. Palo Alto, CA: Tioga Press.
Mitchell, T. M., Keller, R. M., & Kedar-Cabelli, S. T. (1986). Explanation-based generalization: A unifying View. Machine Learning, 1, 47–80.
Mitchell, T. M. (in press). Can we build learning robots? To appear in Proceedings of the workshop on representation and learning in an autonomous agent, Lagos, Portugal.
Mooney, R. J., and Bennett, S. W. (1986) A Domain-Independent Explanation-Based Generalizer. In Proceedings of AAAI-86, Philadelphia, PA: Morgan Kaufmann.
Muggleton, S. H. and Buntine, W. (1988) Machine Invention of First-Order Predicates by Inverting Resolution. In Proceedings of the Fifth International Machine Learning Conference, Ann Arbor, Michigan: Morgan Kaufmann.
Plotkin, G. D. (1970) A note on inductive generalization. In Meltzer, B. and Michie, D. (Eds.), Machine Intelligence 5. New York: Elsevier.
Quinlan, J. R. (1983) Learning Efficient Classification Procedures and their Application to Chess End Games. In Carbonell, J. G., Michalski, R., and Mitchell T., (Eds.) Machine Learning: an Artificial Intelligence Approach. Palo Alto, CA: Tioga Press.
Rosenblatt, F. (1957) The perceptron: A perceiving and recognizing automaton. Rep. No. 85-460-1, Project PARA, Cornell Aeronautical Laboratory.
Russell, S. J. (1985) The Compleat Guide to MRS. Technical Report No. STAN-CS-85-1080, Stanford University, Stanford, CA.
Russell, S. J. (1987) Analogy and Single-Instance Generalization. In Proceedings of the Fourth International Workshop on Machine Learning, Los Altos, CA: Morgan Kaufmann.
Russell, S. J. (1989) Analogical and Inductive Reasoning. Pitman Press: London, U.K.. (originally, a Stanford University PhD dissertation, 1986)
Russell, S. J., and Grosof, B. N. (1987) A Declarative Approach to Bias in Concept Learning. In Proceedings of the Sixth National Conference on Artificial Intelligence, Seattle, WA.
Russell, Stuart J., and Grosof, Benjamin N. (1989) A Sketch of Autonomous Learning using Declarative Bias. In: Brazdil, P., and Konolige, K., eds., Machine Learning, Meta-Reasoning, and Logics. Kluwer Academic. (Based on the Proceedings of the Workshop held in Sesimbra, Portugal, February 1988.)
Russell, S. J., and Subramanian, D. (1989) Mutual Constraints on Representation and Inference. In: Brazdil, P., and Konolige, K., eds., Machine Learning, Meta-Reasoning, and Logics. Kluwer Academic. (Based on the Proceedings of the Workshop held in Sesimbra, Portugal, February 1988.)
Russell, S. J. (1988) Tree-Structured Bias. In Proceedings of the Seventh National Conference on Artificial Intelligence, Minneapolis, MN: Morgan Kaufmann.
Shapiro, E. Y. (1981) Inductive inference of theories from facts. Technical Report 192, Department of Computer Science, Yale University, New Haven, CT.
Solomonoff, R. (1964) A formal theory of inductive inference. Information and Control 7:1–22, 224-254.
Subramanian, D., and Feigenbaum, J. (1986) Factorization in Experiment Generation. In Proceedings of the Fifth National Conference on Artificial Intelligence, Philadelphia, PA: Morgan Kaufmann.
Subramanian, D., and Smith, D. E. (1988) Knowledge-Level Learning: An Alternate View. In Proceedings of the AAAI Spring Symposium on Explanation-Based Learning, San Mateo, CA: Morgan Kaufmann.
Utgoff, P. E. (1984) Shift of Bias for Inductive Concept Learning. Ph.D. thesis, Computer Science Department, Rutgers University, New Brunswick, NJ.
Utgoff, P. E. (1986) Shift of Bias for Inductive Concept Learning. In Carbonell, J. G., Michalski, R., and Mitchell T., (eds.) Machine Learning: an Artificial Intelligence Approach, Vol. II. Los Altos, CA: Morgan Kaufmann.
Valiant, L. G. (1984) A theory of the learnable. Communications of the ACM, 27, 1134–1142.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Kluwer Academic Publishers
About this chapter
Cite this chapter
Russell, S.J., Grosof, B.N. (1990). Declarative Bias: An Overview. In: Benjamin, D.P. (eds) Change of Representation and Inductive Bias. The Kluwer International Series in Engineering and Computer Science, vol 87. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1523-0_16
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1523-0_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8817-6
Online ISBN: 978-1-4613-1523-0
eBook Packages: Springer Book Archive