Analogy and Qualitative Representations in the Companion Cognitive Architecture

Total Page:16

File Type:pdf, Size:1020Kb

Analogy and Qualitative Representations in the Companion Cognitive Architecture Articles Analogy and Qualitative Representations in the Companion Cognitive Architecture Kenneth D. Forbus, Thomas Hinrichs n The Companion cognitive architec - very cognitive architecture starts with a set of theoreti - ture is aimed at reaching human-level cal commitments. We have argued (Forbus 2016) that AI by creating software social organ - Ehuman-level artificial intelligences will be built by cre - isms — systems that interact with peo - ating sufficiently smart software social organisms. By that we ple using natural modalities, working mean systems capable of interacting with people using natu - and learning over extended periods of ral modalities, operating and learning over extended periods time as collaborators rather than tools. Our two central hypotheses about how of time, as apprentices and collaborators, instead of as tools. to achieve this are (1) analogical rea - Just as we cannot directly access the internal representations soning and learning are central to cog - of the people and animals we work with, cognitive systems nition, and (2) qualitative representa - should be able to work with us on our terms. But how does tions provide a level of description that one create such systems? We have two core hypotheses, facilitates reasoning, learning, and inspired by research in cognitive science: communication. This article discusses Our first core hypothesis is that analogical reasoning and the evidence we have gathered support - learning are central to human cognition. There is evidence that ing these hypotheses from our experi - processes described by Gentner’s (1983) structure-mapping ments with the Companion architec - ture. Although we are far from our theory of analogy and similarity operate throughout human ultimate goals, these experiments pro - cognition, including visual perception (Sagi, Gentner, and vide strong evidence for the utility of Lovett 2012), reasoning and decision making (Markman and analogy and qualitative representation Medin 2002), and conceptual change (Gentner et al. 1997). across a range of tasks. We also discuss Our second core hypothesis is that qualitative representations three lessons learned and highlight three (QRs) are a key building block of human conceptual structure. Con - important open problems for cognitive tinuous phenomena and systems permeate our environment systems research more broadly. and our ways of thinking about it. This includes the physical world, where qualitative representations have a long track record of providing human-level reasoning and performance (Forbus 2014), but also in social reasoning (for example, degrees of blame [Tomai and Forbus 2007]). Qualitative rep - resentations carve up continuous phenomena into symbolic descriptions that serve as a bridge between perception and cognition, facilitate everyday reasoning and communication, and help ground expert reasoning. 34 AI MAGAZINE Copyright © 2017, Association for the Advancement of Artificial Intelligence. All rights reserved. ISSN 0738-4602 Articles The focus of the Companion cognitive architec - roles in cognition. We close with some lessons ture (Forbus, Klenk, and Hinrichs 2009) is on high - learned and open problems. er-order cognition: conceptual reasoning and learn - ing, and learning through interactions with others, by contrast with architectures that have focused on Analogical Reasoning and Learning skill learning (for example, ACT-R [Anderson 2009] Dedre Gentner’s (1983) structure-mapping theory and SOAR [Laird 2012]). In Newell’s (1990) time- proposed that analogy involves the construction of scale decomposition of cognitive phenomena, con - mappings between two structured, relational repre - ceptual reasoning and learning occur in what are sentations. These mappings contain correspondences called the rational and social bands ,1 unlike many (that is, what goes with what), candidate inferences architectures, which start with Newell’s cognitive (that is, what can be projected from one description band (Laird, Lebiere, and Rosenbloom 2017). Thus to the other, based on the correspondences), and a we approximate subsystems whose operations occur score indicating the overall quality of the match. at faster time scales, using methods whose outputs Typically, the base is the description about which have reasonable cognitive fidelity, although we are more is known, and the target is the description about not making theoretical claims about them. For which one is trying to reason about, and hence infer - example, in Companions constraint checking and ences are made from base to target by default. Infer - simple inferences are carried out through a logic- ences in the other direction, reverse candidate infer - based truth-maintenance system (Forbus and de ences, can also be drawn, which is important for Kleer 1994). Similarly, the Companion architecture difference detection, discussed more later. is implemented as a multiagent system, capable of There is ample evidence for the psychological plau - running on a single laptop or distributed across sibility of structure mapping, out of Gentner’s lab many cluster nodes, depending on the task. We sus - and others (Forbus 2001). This evidence includes pect that many data-parallel operations and a num - some implications that may surprise AI researchers. ber of coarse-grained parallel operations are impor - Here are three such findings: tant for creating robust software organisms, but this (1) The same computations that people use for current organization is motivated more by engineer - analogy are also used for everyday similarity (Mark - ing concerns. By contrast, we spend considerable man and Gentner 1993). Most AI researchers model effort on sketch understanding and natural language similarity as the dot product of feature vectors or oth - understanding, since interaction through natural er distributed representations. But those approaches modalities is a core concern. are not compatible with psychological evidence that Cognitive systems are knowledge rich (for exam - indicates, even for visual stimuli, that relational rep - ple, McShane [2017]). The Companion architecture resentations are important (Goldstone, Medin, and uses the Cyc 2 ontology and knowledge base (KB) con - Gentner 1991). tents, plus our own extensions including additional (2) Differences are closely tied to similarity (Mark - linguistic resources, representations for visual/spatial man and Gentner 1996). There is an interesting dis - reasoning, and the hierarchical task network (HTN) sociation between difference detection and naming a plans that drive Companion operations. This is in difference: it is faster to detect that things are differ - sharp distinction with current practice in machine ent when they are very different, but faster to name learning, where the goal is that systems for every task a difference when they are very similar (Sagi, Gen - must be learned from scratch. The machine-learning tner, and Lovett 2012). This falls directly out of our (ML) approach can be fine for specific applications, computational model of analogical matching below. but it means that many independently learnable fac - (3) Analogical comparison, especially within- tors in a complex task must be learned at the same domain comparison, can happen unconsciously. For time. This intermingling leads to requiring far more example, people reading a story can be pushed training data than people need, and reduces transfer between two different interpretations of it, based on of learned knowledge from one task to another. The a different story that they read previously (Day and cognitive-systems approach strives for cumulative Gentner 2007). Moreover, they report being sure learning, where an architecture that is general pur - that the second story was complete in itself, and pose can learn to do one task and successfully applies nothing from the previous story influenced them. that knowledge to learn other tasks. This implies, for example, that in any of the System The remainder of this article summarizes the evi - 1 / System 2 models (for example, Kahneman dence provided by Companion experiments for our [2011]), analogy and similarity are actually used in core hypotheses. We start by summarizing the ideas both systems. underlying our hypotheses, briefly introducing struc - Our computational models of analogical processes ture mapping and our models of its processes for have been designed both as cognitive models and as analogy followed by the key aspects of qualitative performance systems. That is, each of them has been reasoning. Then we describe the evidence that anal - used to explain (and sometimes predict) psychologi - ogy and qualitative representations play a variety of cal findings, while also being used in AI systems WINTER 2017 35 Articles whose sole goal was achieving some new functional - world, we must deal with quantities like heat, tem - ity. These models are SME, MAC/FAC, and SAGE. perature, and mass, and arrange for processes like The structure-mapping engine (SME) (Forbus et al. flows and phase changes to cook. Spatial factors are 2016) models analogical mapping. It computes up to key in many physical situations, such as finding safe three mappings, using a greedy algorithm to operate ground during a flood. In social reasoning, we think in polynomial time. It can also operate incremental - about quantities like degree of blame, how strong a ly, extending mappings as new facts are added to the friendship is, and the relative morality of choices we base or target, which can
Recommended publications
  • Philósophos N. 2 V. 9
    DOSSIÊS MODELS AND THE DYNAMICS OF THEORIES Paulo Abrantes Universidade de Brasília [email protected] Abstract: This paper gives a historical overview of the ways various trends in the philosophy of science dealt with models and their relationship with the topics of heuristics and theoretical dynamics. First of all, N. Campbell’s account of analogies as components of scientific theories is presented. Next, the notion of ‘model’ in the reconstruction of the structure of scientific theories proposed by logical empiricists is examined. This overview finishes with M. Hesse’s attempts to develop Campbell’s early ideas in terms of an analogical inference. The final part of the paper points to contemporary developments on these issues which adopt a cognitivist perspective. It is indicated how discussions in the cognitive sciences might help to flesh out some of the insights philosophers of science had concerning the role models and analogies play in actual scientific theorizing. Key words: models, analogical reasoning, metaphors in science, the structure of scientific theories, theoretical dynamics, heuristics, scientific discovery. Hesse (1976) suggests that different philosophical explications of the roles models play in science correspond to different models of science. As a matter of fact, the explication of scientific modeling became a central issue in the criticism and revision of logical empiricism in the 50’s and the 60’s. The critics of the logical empiricist explication of models pointed out that it doesn’t capture one of the roles models play in science: that of providing guidelines for the development of theories.1 PHILÓSOPHOS 9 (2) : 225-269, jul./dez.
    [Show full text]
  • For Mechanics of Materials Subject (Mms)
    Emirates Journal for Engineering Research, 13 (2), 73-78 (2008) (Regular Paper) ANALOGY BASED LEARNING (ABL) FOR MECHANICS OF MATERIALS SUBJECT (MMS) M. Isreb School of Applied Sciences and Engineering, Monash University Gippsland Campus Northways Road, Churchill, Victoria 3842, Australia Email: [email protected] (Received May 2008 and accepted August 2008) ﻻ يوجد دليل في المراجع واﻷبحاث المنشورة على استخدام التعليم بواسطة النمذجة للعنصر الرياضي في مادة الھندسة الميكانيكية للمواد المتشكلة (والمعروفة أيضاً في أوساط معملي الھندسة باسم ميكانيكا المواد (MMS)). ويھدف تطبيق التعليم بواسطة النمذجة المقدم في ھذه الورقة إلى محاولة تسھيل استيعاب الطﻻب لتلك المادة الصعبة. وقد تم استخدام الطريقة القياسية لنمذجة العزوم باسلوب مبتكر. وقد اختبر الباحث ھذه الطريقة لمدة عشرين عاماً في جامعة موناش باستراليا. وأثبتت الطريقة نجاحھا بغض النظر عن طريقة الطﻻب وقدرتھم على التحصيل طبقاً ﻻمكانياتھم العقلية. وتميزت الطريقة بقابلية التطوير والمرونة. There is no evidence in the literature of using Analogy based-learning (ABL) education for the mathematics components of Engineering Mechanics of Deformable Bodies subject (also known widely amongst engineering educators by the name Mechanics of Materials subject, abbreviated as MMS). The motive of using the ABL for MMS in the present paper is to attempt to make, such already difficult subject, easy one to get across to students. The method used in the paper is based on standard ABL methodology of coupling, in an innovative way, each ABL source with an ABL target of the MMS. The author has tested the new approach for two decades at Monash University, Australia. The approach has proved to bring the students potentials to its fullest regardless of their style of learning, within the eight brain sectors.
    [Show full text]
  • Analogies in Physics Analysis of an Unplanned Epistemic Strategy
    . Analogies in Physics Analysis of an Unplanned Epistemic Strategy Von der Philosophischen Fakultät der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades Doktors der Philosophie Dr. phil. Genehmigte Dissertation von Ing. grad. MA Gunnar Kreisel Erscheinungs- bzw. Druckjahr 2021 Referent: Prof. Dr. Mathias Frisch Korreferent: Prof. Dr. Torsten Wilholt Tag der Promotion: 26.10.2020 2 To my early died sister Uta 3 Acknowledgements I could quote only very few by name who have contributed to my work on this thesis, for discussing some of the developed ideas with me or comments on parts of my manuscript. These are in the first place my advisor Mathias Frisch and further Torsten Wilholt, who read critically individual chapters. Much more have contributed by some remarks or ideas mentioned in passing which I cannot assign to someone explicitly and therefore must be left unnamed. Also, other people not named here have supported my work in the one or other way. I think they know who were meant if they read this. A lot of thanks are due to Zoe Vercelli from the International Writing centre at Leibniz University Hannover improving my English at nearly the whole manuscript (some parts are leaved to me because of organisational changes at the writing centre). So, where the English is less correct Zoe could not have had a look on it. Of course, all errors and imprecisions remain in solely my responsibility. 4 Abstract This thesis investigates what tools are appropriate for answering the question how it is possible to develop such a complex theory in physics as the standard model of particle physics with only an access via electromagnetic interaction of otherwise unobservable objects and their interactions it was investigated what the tools are to do this.
    [Show full text]
  • Homogenization of Processes in Nonlinear Visco-Elastic Composites
    Ann. Scuola Norm. Sup. Pisa Cl. Sci. (5) Vol. X (2011), 611-644 Homogenization of processes in nonlinear visco-elastic composites AUGUSTO VISINTIN Abstract. The constitutive behaviour of a multiaxial visco-elastic material is here represented by the nonlinear relation t ε A(x) σ(x, τ) dτ α(σ, x), − : ∈ !0 which generalizes the classical Maxwell model of visco-elasticity of fluid type. Here α( , x) is a (possibly multivalued) maximal monotone mapping, σ is the stress te·nsor, ε is the linearized strain tensor, and A(x) is a positive-definite fourth-order tensor. The above inclusion is here coupled with the quasi-static σ force-balance law, div f#. Existence and uniqueness of the weak solution are proved for a bou−ndary-v=alue problem. Convergence to a two-scale problem is then derived for a composite ma- terial, in which the functions α and A periodically oscillate in space on a short length-scale. It is proved that the coarse-scale averages of stress and strain solve a single-scale homogenized problem, and that conversely any solution of this prob- lem can be represented in that way. The homogenized constitutive relation is represented by the minimization of a time-integrated functional, and is rather dif- ferent from the above constitutive law. These results are also retrieved via De Giorgi’s notion of %-convergence. These conclusions are at variance with the outcome of so-called analogical models, that rest on an (apparently unjustified) mean-field-type hypothesis. Mathematics Subject Classification (2010): 35B27 (primary); 49J40, 73E50, 74Q (secondary).
    [Show full text]
  • Characterizing Ecohydrological and Biogeochemical Connectivity Across Multiple Scales: a New Conceptual Framework
    ECOHYDROLOGY Ecohydrol. (2010) Published online in Wiley Online Library (wileyonlinelibrary.com) DOI: 10.1002/eco.187 Characterizing ecohydrological and biogeochemical connectivity across multiple scales: a new conceptual framework Lixin Wang,1*ChrisZou,2 Frances O’Donnell,1 Stephen Good,1 Trenton Franz,1 Gretchen R. Miller,3 Kelly K. Caylor,1 Jessica M. Cable4 and Barbara Bond5 1 Department of Civil and Environmental Engineering, Princeton University, Princeton, NJ 08544, USA 2 Department of Natural Resource Ecology and Management, Oklahoma State University, Stillwater, OK, USA 3 Department of Civil Engineering, Texas A&M University, College Station, TX, USA 4 International Arctic Research Center, University of Alaska, Fairbanks, AK, USA 5 Department of Forest Ecosystems and Society, Oregon State University, Corvallis, OR 97331, USA ABSTRACT The connectivity of ecohydrological and biogeochemical processes across time and space is a critical determinant of ecosystem structure and function. However, characterizing cross-scale connectivity is a challenge due to the lack of theories and modelling approaches that are applicable at multiple scales and due to our rudimentary understanding of the magnitude and dynamics of such connectivity. In this article, we present a conceptual framework for upscaling quantitative models of ecohydrological and biogeochemical processes using electrical circuit analogies and the Thevenin’s´ theorem. Any process with a feasible linear electrical circuit analogy can be represented in larger scale models as a simplified Thevenin´ equivalent. The Thevenin´ equivalent behaves identically to the original circuit, so the mechanistic features of the model are maintained at larger scales. We present three case applications: water transport, carbon transport, and nitrogen transport.
    [Show full text]
  • A Break-Down Model for Cost Estimation of Composites a Thesis
    A Break-Down Model for Cost Estimation of Composites A thesis presented to the faculty of the Russ College of Engineering and Technology of Ohio University In partial fulfillment of the requirements for the degree Master of Science Aniruddha V. Joshi August 2018 © 2018 Aniruddha V. Joshi. All Rights Reserved. 2 This thesis titled A Break-Down Model for Cost Estimation of Composites by ANIRUDDHA V. JOSHI has been approved for the Department of Industrial and Systems Engineering and the Russ College of Engineering and Technology by Dale Masel Associate Professor of Industrial and Systems Engineering Dennis Irwin Dean, Russ College of Engineering and Technology 3 ABSTRACT JOSHI, ANIRUDDHA V., M.S., August 2018, Industrial and Systems Engineering A Break-Down Model for Cost Estimation of Composites Director of Thesis: Dale Masel With the development of cheaper composite materials and more efficient manufacturing processes, there has been a steady growth in the applications as well as the interest of small and medium scale enterprises to manufacture composite parts. Current methods for cost estimation of composites require many inputs and CAD models. The methodology developed in this thesis will enable manufacturers and designers to obtain a preliminary cost estimate for composite parts based on minimum information during the early design stages. The total cost estimate calculated in this thesis follows the break-down approach where the total cost is broken down into its primary and secondary cost components. The break-down model follows a hierarchical structure of calculating the usage of materials and time, which are at a lower level, based on the user inputs and then using these lower level costs to calculate the upper level cost estimates.
    [Show full text]
  • Resources for Research on Analogy: a Multi- Disciplinary Guide Marcello Guarini University of Windsor
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Scholarship at UWindsor University of Windsor Scholarship at UWindsor Philosophy Publications Department of Philosophy 2009 Resources for Research on Analogy: A Multi- disciplinary Guide Marcello Guarini University of Windsor Amy Butchart Paul Smith Andrei Moldovan Follow this and additional works at: http://scholar.uwindsor.ca/philosophypub Part of the Philosophy Commons Recommended Citation Guarini, Marcello; Butchart, Amy; Smith, Paul; and Moldovan, Andrei. (2009). Resources for Research on Analogy: A Multi- disciplinary Guide. Informal Logic, 29 (2), 84-197. http://scholar.uwindsor.ca/philosophypub/18 This Article is brought to you for free and open access by the Department of Philosophy at Scholarship at UWindsor. It has been accepted for inclusion in Philosophy Publications by an authorized administrator of Scholarship at UWindsor. For more information, please contact [email protected]. Resources for Research on Analogy: A Multi-disciplinary Guide MARCELLO GUARINI* Department of Philosophy University of Windsor Windsor, ON Canada [email protected] AMY BUTCHART Department of Philosophy Guelph University Gulph, ON Canada [email protected] PAUL SIMARD SMITH Department of Philosophy University of Waterloo Waterloo, ON Canada [email protected] ANDREI MOLDOVAN Faculty of Philosophy Department of Logic, History and Philosophy of Science University of Barcelona Barcelona, Spain [email protected] * The first author wishes to thank the Social Sciences and Humanities Research Council of Canada for financial support over the four years during which this project was completed. ©Marcello Guarini, Amy Butchart, Paul Simard Smith, Andrei Moldovan. Informal Logic, Vol. 29, No.2, pp.
    [Show full text]
  • The Effectiveness of Model-Based Instruction on Student Achievement and Student Metacognition in Advanced Chemistry Classes" (2017)
    Kennesaw State University DigitalCommons@Kennesaw State University Doctor of Education in Secondary Education Department of Secondary and Middle Grades Dissertations Education Fall 10-25-2017 The ffecE tiveness of Model-Based Instruction on Student Achievement and Student Metacognition in Advanced Chemistry Classes Amanda Edwards Follow this and additional works at: http://digitalcommons.kennesaw.edu/seceddoc_etd Part of the Science and Mathematics Education Commons Recommended Citation Edwards, Amanda, "The Effectiveness of Model-Based Instruction on Student Achievement and Student Metacognition in Advanced Chemistry Classes" (2017). Doctor of Education in Secondary Education Dissertations. 11. http://digitalcommons.kennesaw.edu/seceddoc_etd/11 This Dissertation is brought to you for free and open access by the Department of Secondary and Middle Grades Education at DigitalCommons@Kennesaw State University. It has been accepted for inclusion in Doctor of Education in Secondary Education Dissertations by an authorized administrator of DigitalCommons@Kennesaw State University. For more information, please contact [email protected]. The Effectiveness of Model-Based Instruction on Student Achievement and Student Metacognition in Advanced Chemistry Classes by Amanda D. Edwards Doctoral Candidate A Dissertation Presented to the Faculty of the Graduate School October 25, 2017 Dr. Michelle Head, chairperson Dr. Kimberly Cortes Dr. Nita Paris Kennesaw State University i ACKNOWLEDGEMENTS This journey to completing this degree would not have been possible without my dissertation committee. My sincerest thanks are given to my dissertation chair, Dr. Michelle Head for her ability to always find the positive and to guide me, encourage me, and drag me (when necessary) toward all that was needed to finish this work. I would like to express my appreciation to Dr.
    [Show full text]
  • Learning to See Analogies: a Connectionist Exploration
    LEARNING TO SEE ANALOGIES: A CONNECTIONIST EXPLORATION Douglas S. Blank 6XEPLWWHGWRWKHIDFXOW\RIWKH*UDGXDWH6FKRRO LQSDUWLDOIXOILOOPHQWRIWKHUHTXLUHPHQWV IRUWKHMRLQWGHJUHHRI'RFWRURI3KLORVRSK\ LQWKH'HSDUWPHQWVRI&RPSXWHU6FLHQFH DQG &RJQLWLYH6FLHQFH ,QGLDQD8QLYHUVLW\ December 1997 &RS\ULJKW 'RXJODV6%ODQN ALL RIGHTS RESERVED ii Accepted by the Graduate Faculty, Indiana University, in partial fulfillment of the requirements of the degree of Doctor of Philosophy. Doctoral Committee ____________________________________ Michael Gasser, Ph.D. (Principal Advisor) ____________________________________ Robert Goldstone, Ph.D. ____________________________________ Robert F. Port, Ph.D. ____________________________________ Dirk Van Gucht, Ph.D. Bloomington, Indiana December 1997. iii For Laura and Thaddeus. iv Abstract This dissertation explores the integration of learning and analogy-making through the development of a computer program, called Analogator, that learns to make analogies by example. By “seeing” many different analogy problems, along with possible solutions, Analogator gradually develops an ability to make new analogies. That is, it learns to make analogies by analogy. This approach stands in contrast to most existing research on analogy-making, in which typically the a priori existence of analogical mechanisms within a model is assumed. The present research extends standard connectionist methodologies by developing a specialized associative training procedure for a recurrent network architecture. The network is trained to divide input scenes (or situations) into appropriate figure and v ground components. Seeing one scene in terms of a particular figure and ground provides the context for seeing another in an analogous fashion. After training, the model is able to make new analogies between novel situations. Analogator has much in common with lower-level perceptual models of categorization and recognition; it thus serves as a unifying framework encompassing both high-level analogical learning and low-level perception.
    [Show full text]
  • Models in Science
    Models in Science Reference: Frigg, Roman, Hartmann, Stephan "Models in Science", The Stanford Encyclopedia of Philosophy (Spring 2006 Edition), Edward N. Zalta (ed.). Online at http://plato.stanford.edu/entries/models-science/ Models are of central importance in many scientific contexts. The centrality of models such as the billiard ball model of a gas, the Bohr model of the atom, the MIT bag model of the nucleon, the Gaussian-chain model of a polymer, the Lorenz model of the atmosphere, the Lotka-Volterra model of predator-prey interaction, the double helix model of DNA, agent-based and evolutionary models in the social sciences, or general equilibrium models of markets in their respective domains are cases in point. Scientists spend a great deal of time building, testing, comparing and revising models, and much journal space is dedicated to introducing, applying and interpreting these valuable tools. In short, models are one of the principle instruments of modern science. Philosophers are acknowledging the importance of models with increasing attention and are probing the assorted roles that models play in scientific practice. The result has been an incredible proliferation of model-types in the philosophical literature. Probing models, phenomenological models, computational models, developmental models, explanatory models, impoverished models, testing models, idealized models, theoretical models, scale models, heuristic models, caricature models, didactic models, fantasy models, toy models, imaginary models, mathematical models, substitute models, iconic models, formal models, analogue models and instrumental models are but some of the notions that are used to categorize models. While at first glance this abundance is overwhelming, it can quickly be brought under control by recognizing that these notions pertain to different problems that arise in connection with models.
    [Show full text]
  • Exploiting Persistent Mappings in Cross-Domain Analogical Learning of Physical Domains ∗ Matthew Klenk , Ken Forbus
    Artificial Intelligence 195 (2013) 398–417 Contents lists available at SciVerse ScienceDirect Artificial Intelligence www.elsevier.com/locate/artint Exploiting persistent mappings in cross-domain analogical learning of physical domains ∗ Matthew Klenk , Ken Forbus Qualitative Reasoning Group, Northwestern University, 2133 Sheridan Road, Evanston, IL 60208, USA article info abstract Article history: Cross-domain analogies are a powerful method for learning new domains. This paper Received 6 July 2011 extends the Domain Transfer via Analogy (DTA) method with persistent mappings,corres- Received in revised form 9 November 2012 pondences between domains that are incrementally built up as a cognitive system gains Accepted 13 November 2012 experience with a new domain. DTA uses analogies between pairs of textbook example Available online 15 November 2012 problems, or worked solutions, to create a domain mapping between a familiar and a new Keywords: domain. This mapping enables the initialization of a new domain theory. Another analogy Analogical learning is then made between the domain theories themselves, providing additional conjectures Cross-domain analogy about the new domain. After these conjectures are verified, the successful mappings are Cognitive systems stored as persistent mappings to constrain future analogies between the domains. We show Physics problem-solving that DTA plus persistent mappings enables a Companion, the first structure mapping cogni- tive architecture, to learn the equation schemas and control knowledge necessary to solve problems in three domains (rotational mechanics, electricity, and heat) by analogy with lin- ear mechanics. We provide a detailed analysis categorizing transfer failures. As with people, the most difficult step in cross-domain analogy is identifying an appropriate example.
    [Show full text]
  • The University of Chicago Analogical Models of God
    THE UNIVERSITY OF CHICAGO ANALOGICAL MODELS OF GOD: AN ACCOUNT OF RELIGIOUS LANGUAGE A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE HUMANITIES IN CANDIDACY FOR THE DEGREE OF DOCTOR OF PHILOSOPHY DEPARTMENT OF PHILOSOPHY BY DAWN ESCHENAUER CHOW CHICAGO, ILLINOIS AUGUST 2017 © Dawn Eschenauer Chow 2017 For my mother Table of Contents Acknowledgements ……………………………………………………………………... vii Introduction ……………………………………………………………………...……… 1 Chapter 1: Analogy and Analogical Speech ................................................................. 11 1. What is analogy? ……………………………………………………………………... 12 1.1 Ontological analogy ………………………………………………………… 12 1.2 Similarity, properties, and S-properties ……………………………………... 13 1.3 The relationship between proportional similarities and simple similarities … 28 1.4 Analogical thought ………………………………………………………….. 32 2. What is it to speak analogically? ……………………………………………………... 34 2.1 Type 1 analogical speech: Assertions of analogy …………………………… 35 2.2 Type 2 analogical speech: Propositions asserted analogically ……………… 36 2.3 Irreducibility ………………………………………………………………… 44 3. The shortcomings of the “different but related senses” definition of analogy ……….. 48 3.1 Analogy as polysemy ……………………………………….……….………. 48 3.2 Analogy as polysemy plus an ontological criterion ………………………… 51 3.3 Sameness of sense as indeterminate ………………………………………… 53 3.4 The impossibility of irreducible non-univocity ……………………………... 61 3.5 A continued role for the concept of non-univocity ………………………….. 72 4. Conclusion …………………………………………………………………………….
    [Show full text]