Sciweavers

21
Voted
APIN
2006
109views more  APIN 2006»
13 years 7 months ago
Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems
The core issue of analogical reasoning is the transfer of relational knowledge from a source case to a target problem. Visual analogical reasoning pertains to problems containing ...
Patrick W. Yaner, Ashok K. Goel
IJCAI
1989
13 years 8 months ago
Program Derivation Using Analogy
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
Mehdi T. Harandi, Sanjay Bhansali
IJCAI
1997
13 years 8 months ago
Analogy and Abduction in Automated Deduction
A method is presented for analogical reasoning in Automated Deduction. We focus on the abductive aspects of analogy and give a unified treatment for theorems and non-theorems. Abd...
Gilles Défourneaux, Nicolas Peltier
KIC
2000
13 years 8 months ago
Design Simplification by Analogical Reasoning
Abstract: This paper presents some results of our research on design simplification by analogical reasoning. It first defines what we mean by a simplification problem. Then it desc...
M. E. Balazs, David C. Brown
AAAI
2000
13 years 8 months ago
Dynamic Case Creation and Expansion for Analogical Reasoning
Most CBR systems rely on a fixed library of cases, where each case consists of a set of facts specified in advance. This paper describes techniques for dynamically extracting case...
Thomas Mostek, Kenneth D. Forbus, Cara Meverden
ICAIL
1999
ACM
13 years 11 months ago
Intelligent jurisprudence research: a new concept
Intelligent Jurisprudence Research (IJR) is a concept that consists in performing jurisprudence research with a computational tool that employs Artificial Intelligence (AI) techni...
Rosina Weber