• Corpus ID: 7368847

The Incremental Analogy Machine: A Computational Model of Analogy

  title={The Incremental Analogy Machine: A Computational Model of Analogy},
  author={Mark T. Keane and Mike Brayshaw},

Evaluate and Benchmark Aris

The overall result shows the improvement in Aris 2.0 able to produce more successful mapping between similar source code files, increase ranking precision in retrieval phase, and generate more verified specifications.

Source Code Matching for Reuse of Formal Specifications

This project focuses on the source code matching module of Aris (Analogical Reasoning for reuse of Implementation & Specification) platform in which it aims to increase the number of verified programs by reducing the effort of writing specifications.

Extending SME to Handle Large-Scale Cognitive Modeling

Five techniques now incorporated into the SME that have enabled it to tackle large-scale modeling tasks are described, illustrating via examples from published studies how these enable it to capture a broader range of psychological phenomena than before.

A unifying approach to reasoning by analogy

A new general model for analogy, which fits within a unifying framework comprised of seven stages and four types of similarity, is presented, overcoming many of the observed deficiences with other models.

Constraints on Analogical Mapping: A Co~~~son of Three Myers

This article shows how these theories of analogy can be unified within a common metotheoretical framework that distinguishes among levels of informational, behavioral, and hardware constraints.

The computational modeling of analogy-making

  • R. French
  • Psychology, Biology
    Trends in Cognitive Sciences
  • 2002

Metaphor is like analogy

A mind is a computer.

Analogy and creativity in the works of Johannes Kepler

It is conjecture that intense mapping may promote fertile access, and if access to prior material depends on a common encoding, then the highlighting, inferencing, and re-representing carried out in the course of pushing analogies may benefit subsequent memory access, as such activities tend to increase the scope of common internal representations.

On Adaptation in Analogy: Tests of Pragmatic Importance and Adaptability in Analogical Problem Solving

It is suggested that if a mapped solution can be adapted easily to a problem, then it will be preferred over an alternative mapping that is less adaptable, and most models need to be extended to include adaptation constraints.