Abstract
Robotics research has produced economically and organizationally satisfactory tools for industry, and exploration of and manipulation in outer space, under the ocean and other dangerous or difficult-to-access places. Intelligent robots, however, are still largely a promising possiblity around the horizon. The adaptation of Artificial Intelligence methodology for robots seems to be a difficult and lengthy process. Both general-purpose and domain-specific techniques are needed. In this paper, we investigate some fairly universal concepts within the block world context.
Analogical reasoning (AR) has long been recognized as an important component of problem solving. In general, AR involves applying the (possibly modified) solution of one problem to a second problem which is in some sense analogous to the first. The prerequisite the two problems have to satisfy is that they have the necessary number and type of important features in common. The task is to discover automatically what the important features are. We discuss at length some general ideas, two basic models and a few advanced processes relating to AR.
Our program generates specific solutions to a number of similar problems that share several properties. The problems are to build certain three-dimensional bodies which satisfy a number of geometrical requirements and constraints. Problem situations are then generalized in the manner of concept formation. Those problems that have similar solutions are replaced with a single concept -- the type definition of a class of problems. Our program, itself, identifies new (hidden or “chunked”) properties it has determined to be essential.
Frames are used to describe problem situations. Four conceptual levels of frames are distinguished: (i) The situation level contains slots for situation properties, the types of available objects, the goal and the eventual solution. (ii) The object level has slots for specific object properties and for lists of possible components that can make up the object. (iii) An unlimited number of component levels look like the object level and represent the components of components…of the objects. (iv) Finally, the property level can contain properties of situations, objects or components.
The underlying learning is a three-stage process. In the first, shapinv stage, heuristic search techniques are used to find a solution to a particular problem. The resulting plan is an action sequence which is then associated with the problem situation. In the second, AR stage, problems with similar action sequences are grouped under a single situation class. A class definition is established which is sufficient to distinguish its members from all other situations. Rules are generated which connect the situation classes and action sequences to be performed in them. The final, consolidation stage compiles the rules into a decision graph. The variables determining the situation class are re-ordered on the decision graph so that the action plans can be retrieved the most efficiently.
“...no such thing as a false analogy exits: An analogy can be more or less
detailed and hence more or less informative.“ (Nobel Prize lecture by K.Z. Lorenz, 1973)
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 (In chronological order)
Evans, T. G.: A program for the solution of a class of geometric analogy intelligence test questions (In M. Minsky (Ed.) Semantic Information Processing. MIT Press: Cambridge, MA, 1968 ).
Becker, J. D.: The modelling of simple analogic and inductive processes in a semantic memory system (Proc. IJCAI-1, pp. 655–668; Washington, DC, 1969 ).
Kling, R. E.: A paradigm for reasoning by analogy (Artificial Intelligence, 2, pp. 147–178, 1971 ).
Findler, N. V.: The language AMPPL-II (In N. V. Findler, J. L. Pfaltz and H. J. Bernstein: Four High-Level Extensions of FORTRAN IV: SLIP, AMPPL-II, TREETRAN and SYBOLANG. Spartan Books: New York, 1972).
Findler, N. V.: Analogical reasoning in problem solving (Proc. IJCAI-77, vol. I, pp. 345–346, 1977 ).
Findler, N. V. and J. N. Shaw: MULTI-PIERRE–A learning robot system (Computers and Graphics, 3 pp. 107–111, 1978 ).
Findler, N. V. and D.-T. Chen: Toward analogical reasoning in problem solving by computers (J. of Cybernetics, 9, pp. 369–397, 1979 ).
Winston, P. H.: Learning and reasoning by analogy (Comm. ACM, 23, pp. 689–702, 1980 ).
Gick, M. L. and K. L. Holyoak: Analogical problem solving (Cogn. Psych., 12, pp. 306–355, 1980 ).
Carbonell, J. G.: Experimental learning in analogical problem solving (Proc. AAAI-82, pp. 168–171; Pittsburgh, PA, 1982 ).
Winston, P. H.: Learning new principles from precedents and exercises (Artificial Intelligence, 19, pp. 321–350, 1982 ).
Gentner, D.: Structure mapping: a theoretical framework for analogy (Cogn. Science, 7, pp. 155–170, 1983 ).
Burstein, M. H.: A model of learning by incremental analogical reasoning and debugging (Proc. AAAI-83, pp. 45–48; Washington, DC, 1983 ).
Winston, P. H., T. O. Binford, B. Katz and M. Lowry: Learning physical descriptions from functional definitions, examples, and precedents (ibid, pp. 443–439).
Carbonell, J. G.: Learning by analogy: formulating and generalizing plans from past experience (In R. S. Michalski, J. G. Carbonell and T. M. Mitchell (Eds.): Machine Learning: An Artificial Intelligence Approach, Tioga: Palo Alto, CA, 1983 ).
Gick, M. L. and K. J. Holyoak: Schema induction and analogical transfer (Cogn. Psych., 15, pp. 1–38, 1983 ).
Hall, R. P.: Analogical reasoning in artificial intelligence and related disciplines (Tech. Report, Dept. of Comp. and Info. Sciences, Univ. of California at Irvine, 1985 ).
Kedar-Cabelli S. T.: Analogy - from a unified perspective (Tech. Report, Dept. of Comp. Science, Rutgers Univ., 1985 ).
Carbonell, J. G.: Derivational analogy: a theory of reconstructive problem solving and expertise acquisition (In R. S. Michalski, J. G. Carbonell and T. M. Mitchell (Eds.): Machine Learning: An Artificial Intelligence Approach, Vol. II, Morgan Kaufmann: Los Altos, CA, 1986 ).
Miller G. A.: The magical number seven, plus or minus two: Some limits on our capacity for processing information (Psych. Rev., 63, pp. 81–97, 1956 ).
Fahlman, S. E.: A planning system for robot construction tasks (Artificial Intelligence, 5, pp. 1–49, 1974 ).
Bickmore, T. W., N. V. Findler, L. H. Ihrig and W.-W. Tsang: On the heuristic optimization of a certain class of decision trees. (Submitted for publication).
Smith, D. E. and M. R. Genesereth: Ordering conjunctive queries (Artificial Intelligence, 26, pp. 171–215, 1985 )
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Findler, N.V., Ihrig, L.H. (1987). Analogical Reasoning by Intelligent Robots. In: Wong, A.K.C., Pugh, A. (eds) Machine Intelligence and Knowledge Engineering for Robotic Applications. NATO ASI Series, vol 33. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-87387-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-87387-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-87389-8
Online ISBN: 978-3-642-87387-4
eBook Packages: Springer Book Archive