Using formal speciications to represent software components facilitates the determination of reusability because they more precisely characterize the func-tionality of the software, and the well-deened syntax makes processing amenable to automation. This paper presents an approach, based on formal methods, to the modiication of reusable software components. From a two-tiered hierarchy of reusab...

analogical transfer, the present study systematically compared the effect of ing that animated source instruction facilitated spontaneous analogical inference. Analogical reasoning is a cognitive underpinning of the ability to notice and draw providing practical suggestions for classroom instruction. We first discuss. Learning, instruction, problem solving, transfer, analogical reasoning, instr...

We compared types of transfer facilitated by instructions to engage in analogical comparison or self-explanation. Participants received learning materials and worked examples with prompts supporting analogical comparison, selfexplanation, or instructional explanation study. Learners also self-reported their use of analogical comparison and selfexplanation on a series of questionnaires. We evalu...

The success of any analogical reasoner depends upon its ability to select a relevant source. We can improve source selection by more completely integrating the process of source retrieval with analogical inference, and by using experience in solving target problems to find properties that effectively predict a source’s relevance to future targets. This paper describes the design and evaluation ...

This article describes an integrated theory of analogical access and mapping, instantiated in a computational model called LISA (Learning and Inference with Schemas and Analogies). LISA represents predicates and objects as distributed patterns of activation that are dynamically bound into propositional structures, thereby achieving both the flexibility of a connectionist system and the structur...

This chapter describes a model and an underlying theoretical framework for hybrid planning. Modern planning domain-description formalisms are based on purely sentential languages. Sentential representations produce problem encodings that often require the system to carry out an unnecessary amount of trivial deductions, preventing it from concentrating all the computational effort on the actual ...

This article describes an integrated theory of analogical access and mapping, instantiated in a computational model called LISA (Learning and Inference with Schemas and Analogies). LISA represents predicates and objects as distributed patterns of activation that are dynamically bound into prepositional structures, thereby achieving both the flexibility of a connectionist system and the structur...

This paper addresses two modi of analogical reasoning. The rst modus is based on the explicit representation of the justiication for the analogical inference. The second modus is based on the representation of typical instances by concept structures. The two kinds of analogical inferences rely on diierent forms of relevance knowledge that cause non-monotonicity. While the uncertainty and non-mo...

The authors are finding rising demands for sensing values in existing/new events and items in the real life. Chance discovery, focusing on new events significant for human decision making, can be positioned extensively as an approach to value sensing. This extension enables the innovation of various artificial systems, where human’s talent of analogical thinking comes to be the basic engine. Ga...