Abstract
The idea of using invariance, embedded in a description language, in the process of concept discovery was utilized in the COPER system for discovery of physical laws [Kokar, 1986a, 1986b]. It was incorporated in the procedures of COPER, and thus was applicable to the domain of physical laws. This paper presents a step toward construction of a domain-independent module whose goal is to find invariants and utilize them for constructive induction of functional concepts. To this aim, the features of COPER are expressed in the language of algebra, and the algorithm for constructive induction of concepts is described.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amarel, S. (1968). On representations of problems of reasoning about actions. Machine Intelligence, 3.
Benjamin, P., Holte, R., Rendell, L. (1988). Proceedings of the First International Workshop in Change of Representation and Inductive Bias. North American Philips Corporation.
Drobot, S. (1953). On the foundations of dimensional analysis. Studia Mathematica, 14, 84–89.
Kokar, M., M. (1985). On invariance in dimensional analysis. Technical Report MMK-2/85. Boston, MA: Northeastern University, College of Engineering.
Kokar, M., M., (1986a). Discovering functional formulas through changing representation base. Proceedings of the Fifth National Conference on Artificial Intelligence, Philadelphia, PA.
Kokar, M., M., (1986b). Determining Arguments of Invariant Functional Descriptions, Machine Learning, 1.
Korf, R., E. (1980). Toward a Model of Representation Change. Artificial Intelligence, 14, 41–78.
Lowry, M., R. (1988). Invariant Logic: A Calculus for Problem Reformulation. Proceedings of the Seventh National Conference on Artificial Intelligence, Saint Paul, MN.
Luce, R. D. (1978). Dimensionally invariant physical laws correspond to meaningful relations. Philosophy of Science, 45, 1–16.
Manna, Z., Waldinger, R., (1985), The Logical Basis for Computer Programming, vol. 1,:Deductive Reasoning, Addison-Wesley.
Michalski, R. S., Carbonell, J. G., Mitchell, T. M., (Eds.), (1983). Machine learning: An artificial intelligence approach. Palo Alto, CA: Tioga Publishing Company.
Rendell, L., A. (1987). More Robust Concept Learning Using Dynamically-Variable Bias. P. Langley (Ed.), Proceedings of the Fourth International Workshop on Machine Learning, Irvine, CA, Morgan Kaufmann Publ., Inc.
Riddle, P. (1988). An Approach to Learning Problem Decomposition Schemas and Iterative Macro-operators. Proceedings of the First International Workshop in Change of Representation and Inductive Bias. North American Philips Corporation.
Rivest, R., L., Shapire, R., E. (1987). A New Approach to Unsupervised Learning in Deterministic Environments. Proceedings of the Fourth International Workshop on Machine Learning, Irvine, CA.
Subramanian, D., Feigenbaum, J. (1986). Factorization in Experiment Generation. Proceedings of the Fifth National Conference on Artificial Intelligence, Philadelphia, PA.
Utgoff, P., E. (1986). Shift of Bias for Inductive Concept Learning. In R.S. Michalski, J.G. Carbonell, and T.M. Mitchell (Eds.), Machine Learning: An Artificial Intelligence Approach, vol.2, Morgan Kaufmann Publishers, Inc.
Whitney, H., (1968), The Mathematics of Physical Quantities, part I and II, American Mathematical Monthly, pp. 115–138 and 227–256.
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
Kokar, M.M. (1990). Semantic Equivalence in Concept Discovery. 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_17
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1523-0_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8817-6
Online ISBN: 978-1-4613-1523-0
eBook Packages: Springer Book Archive