See this document in CiteSeerX!

Analogy in Problem Solving  (Make Corrections)  
Erica Melis, Manuela Veloso



  Home/Search   Context   Related

 
View or download:
cmu.edu/~mmv/paper...Melis96Handb.ps.gz
cmu.edu/afs/cs/use...Melis96Handb.ps.gz
ags.unisb.de/~melis/P...handbook.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cmu.edu/~mmv/producebib (more)
From:  ags.unisb.de/projects/...analogy
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: ion Let P be the aspect describing time (in terms of hours and minutes) and day of week. The aspect Q describes whether the stores are open in Germany. Then each reformulation ae mapping a time between 9.00 and 11.00 to "morning", a time between 11.01 and 13.00 to "noon", a time between 13.01 and 18.30 to "afternoon", a time between 18.31 and 22.00 to "evening", or a time between 22.01 and 9.00 to "night" is a [P; Q]-reformulation because stores in Germany are open (usually) from 9.00 through... (Update)

Similar documents (at the sentence level):
72.5%:   Analogy in - Erica Melis Problem   (Correct)
5.3%:   prodigy/analogy: Analogical Reasoning in General Problem Solving - Veloso (1994)   (Correct)
5.2%:   Theorem Proving by Analogy - A Compelling Example - Melis (1995)   (Correct)

Active bibliography (related documents):   More   All
1.8:   A Model of Analogy-Driven Proof-Plan Construction - Melis (1995)   (Correct)
1.3:   Is analogical problem solving always analogical? The case for.. - Robertson (1997)   (Correct)
1.2:   Modification in Analogy-Driven Proof-Plan Construction - Melis (1995)   (Correct)

Similar documents based on text:   More   All
0.5:   Analogy Makes Proofs Feasible - Melis, Veloso (1994)   (Correct)
0.4:   A Formal Definition and a Sound Implementation of.. - Costantini, Lanzarone   (Correct)
0.3:   Two Kinds of Non-Monotonic Analogical Inference - Kerber, Melis (1996)   (Correct)

BibTeX entry:   (Update)

@misc{ melis-analogy,
  author = "Erica Melis and Manuela Veloso",
  title = "Analogy in Problem Solving",
  url = "citeseer.ist.psu.edu/88636.html" }
Citations (may not include all citations):
891   STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
531   Case-Based Reasoning (context) - Kolodner - 1993
371   Explanation-based generalization: A unifying view (context) - Mitchell, Keller et al. - 1986
288   Planning in a hierarchy of abstraction spaces (context) - Sacerdoti - 1974
272   Argonne National Laboratory (context) - McCune, users et al. - 1990
255   Human Problem Solving (context) - Newell, Simon - 1972
226   The use of explicit plans to guide inductive proofs - Bundy - 1988
181   Case-based reasoning: Foundational issues (context) - Aamodt, Plaza - 1994
178   Metaphors We Live By (context) - Lakoff, Johnson - 1980
150   Edinburgh LCF: A Mechanized Logic of Computation (context) - Gordon, Milner et al. - 1979
149   Derivational analogy: A theory of reconstructive problem sol.. (context) - Carbonell - 1986
145   Chunking in SOAR: The anatomy of a general learning mechanis.. (context) - Laird, Rosenbloom et al. - 1986
134   Integrating planning and learning: The PRODIGY architecture - Veloso, Carbonell et al. - 1995
133   Structure mapping: A theoretical framework for analogy (context) - Gentner - 1983
117   Features of similarity (context) - Tversky - 1977
107   Learning by Analogical Reasoning in General Problem Solving (context) - Veloso - 1992
99   Planning and Learning by Analogical Reasoning (context) - Veloso - 1994
85   Achieving several goals simultaneously (context) - Waldinger - 1981
78   Analogical mapping by constraint satisfaction (context) - Holyoak, Thagard - 1989
73   Categories and Concepts (context) - Smith, Medin - 1981
70   Derivational analogy in PRODIGY: Automating case acquisition (context) - Veloso, Carbonell - 1993
66   How to Solve it (context) - Polya - 1957
64   Learning by analogy: Formulating and generalizing plans from.. (context) - Carbonell - 1984
64   Learning by analogy: Formulating and generalizing plans from.. (context) - Carbonell - 1983
63   Theorem proving with abstraction (context) - Plaisted - 1981
50   Automated Reasoning: 33 Basic Research Problems (context) - Wos - 1988
50   The mechanisms of analogical learning (context) - Gentner - 1989
49   Analogy for Automated Reasoning (context) - Owen - 1990
46   Selecting typical instances in instance-based learning (context) - Zhang - 1992
45   Analog retrieval by constraint satisfaction (context) - Thagard, Holyoak et al. - 1990
45   CHEF: A model of case-based planning (context) - Hammond - 1986
42   Using Experience in Learning and Problem Solving - Koton - 1989
42   A model of analogy-driven proof-plan construction - Melis - 1995
41   Computational approaches to analogical reasoning: A comparat.. (context) - Hall - 1989
41   The Structure-Mapping Engine (context) - Falkenhainer, Forbus et al. - 1986
38   North Holland (context) - Leatherdale, of et al. - 1974
37   Learning and reasoning by analogy (context) - Winston - 1980
37   The need for different domainindependent heuristics - Stone, Veloso et al. - 1994
31   A logical approach to reasoning by analogy (context) - Davis, Russell - 1987
30   Analogical problem solving (context) - Gick, Holyoak - 1980
30   Protos: An exemplar-based learning apprentice (context) - Bareiss, Porter et al. - 1987
30   Protos: An exemplar-based learning apprentice (context) - Bareiss, Porter et al. - 1988
29   The Use of Knowledge in Analogy and Induction (context) - Russell - 1989
28   Exemplar-based Knowledge Acquisition: A Unified Approach to .. (context) - Bareiss - 1989
27   A paradigm for reasoning by analogy (context) - Kling - 1971
27   The Psychology of Invention in the Mathematical Field (context) - Hadamard - 1945
27   Schema induction and analogical transfer (context) - Gick, Holyoak - 1983
24   The role of learning from examples in the acquisition of rec.. (context) - Pirolli, Anderson - 1985
24   Flexible strategy learning: Analogical replay of problem sol.. - Veloso - 1994
24   Surface and structural similarity in analogical transfer (context) - Holyoak, Koh - 1987
22   Design by derivational analogy: Issues in the automated repl.. (context) - Mostow - 1989
22   A Review of Industrial CaseBased Reasoning Tools (context) - Althoff, Auriol et al. - 1995
22   Analogical reasoning and proof discovery (context) - Brook, Cooper et al. - 1988
22   The Act of Creation (context) - Koestler - 1964
21   Methods - the basic units for planning and verifying proofs - Huang, Kerber et al. - 1994
20   Incremental structure-mapping (context) - Gentner, Forbus et al. - 1994
20   Analogy as a Means of Discovery in Problem Solving and Learn.. (context) - Munyer - 1981
19   Reconstructive memory: A computer model (context) - Kolodner - 1983
19   Mathematical problem solving by analogy (context) - Novick, Holyoak - 1991
18   Mathematics and Plausible Reasoning (context) - Polya - 1954
17   Retrieving adaptable cases (context) - Smyth, Keane - 1994
17   Prototype classification and logical classification: The two.. (context) - Rosch - 1983
16   Categorization of Natural Objects (context) - Mervis, Rosch - 1981
16   Learning by understanding analogies (context) - Greiner - 1988
15   Analogical Problem Solving (context) - Keane - 1988
15   Similarity and Analogical Reasoning (context) - Vosniadou, Ortony - 1989
15   Second-order matching modulo evaluation -- a technique for r.. (context) - Kolbe, Walther - 1995
15   Synthesis of UNIX programs using derivational analogy - Bhansali, Harandi - 1993
15   Nonanalytic concept formation and memory instances (context) - Brooks - 1978
14   Cognitive Psychology (context) - Rosch - 1973
14   A precondition prover for analogy - Bledsoe - 1995
14   Change of representation in theorem proving by analogy - Melis - 1993
14   Retrieving events from case memory: A parallel implementatio.. (context) - Kolodner - 1988
13   Mental Leaps: Analogy in Creative Thought (context) - Holyoak, Thagard - 1995
12   Towards formalization in case-based reasoning for synthesis - Borner - 1994
11   Flowing waters or teeming crowds: Mental models of electrici.. (context) - Gentner, Gentner - 1983
11   Purpose-directed analogy (context) - Kedar-Cabelli - 1985
11   Models and Analogies in Science (context) - Hesse - 1966
10   System of Logic (context) - Mill - 1973
10   The use of analogy in automatic proof discovery (context) - Bledsoe - 1986
10   volume 99 of Heidelberger Taschenbucher (context) - Deussen, Automaten - 1971
10   Analogical reminding: A good match is hard to find (context) - Gentner, Landers - 1985
10   Outils pour la Preuve par Analogie (context) - Curien - 1995
9   Proof analogy in interactive theorem proving: A method to ex.. (context) - de la, Caferra - 1987
9   Case-Based Reasoning Research and Development (context) - Veloso, Aamodt - 1996
9   Internal analogy: A model of transfer within problems (context) - Hickman, Larkin - 1990
8   How mathematicians prove theorems - Melis - 1994
8   Reasoning by analogy as a partial identity between models (context) - Haraguchi, Arikawa - 1987
8   Systematicity as a selection constraint in analogical mappin.. (context) - Clement, Gentner - 1991
8   Better learners use analogical problem solving sparingly - VanLehn, Jones - 1993
7   Analogies between proofs -- a case study - Melis - 1993
7   Inductive judgements about natural categories (context) - Rips - 1975
7   A validation based theory of plan modification and reuse (context) - Kambhampati, Hendler - 1992
7   Approximate semantic transference: A computational theory of.. (context) - Indurkhya - 1987
7   The pragmatics of analogical transfer (context) - Holyoak - 1985
7   Explanation Patterns (context) - Schank - 1986
6   Proof planning by abstraction - Villafiorita, Sebastiani - 1994
6   Analogy makes proofs feasible - Melis, Veloso - 1994
5   Recent views of conceptual structure (context) - Komatsu - 1992
5   Formal Aspects of Computing (context) - Vadera, analogy - 1995
5   Observed methods for generating analogies in scientific prob.. (context) - Clement - 1988
5   Analogy-driven proof-plan construction (context) - Melis - 1995
5   An overview of the copycat project (context) - Hofstadter, Mitchell - 1991
4   Component processes in analogical reasoning (context) - Sternberg - 1977
4   A sketch of analogy as reasoning with equality hypotheses (context) - Goebel - 1989
4   Psychological Monographs (context) - Duncker, solving - 1945
4   A program for the solution of geometric analogy intelligence.. (context) - Evans - 1986
4   Learning from Physical Analogies: A Study in Analogy and the.. (context) - Falkenhainer - 1989
4   Modes of analogy (context) - Indurkhya - 1989
3   Analogy and other sources of difficulty in novices' very fir.. (context) - Allwood, Eliasson - 1987
3   Analogy by similarity (context) - Russell - 1988
3   The incremental analogy machine (context) - Keane, Brayshaw - 1988
3   Incremental analogizing: Theory and model (context) - Keane - 1990
3   Planning and action (context) - McDermott - 1967
3   Goals in remindings (context) - Seifert - 1988
3   Analogical mapping by dynamic binding: Preliminary investiga.. (context) - Hummel, Burns et al. - 1994
3   Valid reasoning by analogy (context) - Weitzenfeld - 1984
3   The Poetics of Mind: Figurative Thought (context) - Gibbs - 1994
3   A review of mental leaps: Analogy in creative thought (context) - Hofstadter - 1995
2   Replaying Episodes of a Metaphor Application Interface Desig.. (context) - Blumenthal - 1990
2   redescription (context) - O'Hara, of - 1992
2   or directions concerning the interpretation of nature (context) - Bacon, instauration et al. - 1994
2   Relevancy Knowledge and Analogical Reasoning (context) - Huang - 1993
2   Analogical Connections (context) - Holyoak - 1994
2   A hybrid model of continuous analogical reasoning (context) - Eskridge - 1994
2   Study of modes of analogical reasoning (context) - Melis - 1990
1   Principles of Artificial Initelligence (context) - Nilsson - 1980
1   Constraints on spontaneous transfer in problem-solving tasks (context) - Stein, Way et al. - 1986
1   Bionik liefert Problemlosung (context) - Busch, Christmann et al. - 1984
1   Natural semantics ini artificial intelligence (context) - Carbonell, Collins - 1973
1   Kluwer Academic Publisher (context) - Helman - 1988
1   analogies in scientific inquiries (context) - Biela, surfaces - 1985
1   Analogy generation in scientific problem-solving (context) - Clement - 1981
1   Analogical reasoning patterns in expert problem solving (context) - Clement - 1982
1   Goal similarity in analogical problem solving (context) - Burns - 1990
1   Studies of metaphor and complex analogies (context) - Gentner - 1980
1   The greatest analogies in the hstory of science (context) - Thagard - 1993
1   Representational issues in analogical transfer (context) - Seifert, Gray - 1989
1   Using exemplary knowledge for justified analogical reasoning - Kerber, Melis - 1995
1   Die Hauptformen und-regeln der Analogieschlusse (context) - Ujomow - 1967
1   Principles of Database Systems (context) - Ullmann - 1980
1   Memory and Cognition (context) - Novick, problem et al. - 1988
1   Dynamic Memory: A Theory of Learning in People and Computers (context) - Schank - 1982
1   Applications of analogical reasoning (context) - Klein - 1987
1   and case-based reasoning in PATDEX (context) - Richter, Wess et al. - 1991
1   Analogy as a source of science (context) - Lorenz - 1974
1   Analogy in system management (context) - Silverman - 1983
1   Generative metaphor (context) - Schon - 1979
1   The use of analogies in comparability analysis (context) - Klein, Weitzenfeld - 1982
1   Zur Spezifik von Erkennungsprozessen bei mathematisch Hochbe.. (context) - Schwarz - 1986
1   Begabungsforschung- ein neuer Weg in der kognitiven Intellig.. (context) - Klix - 1983

Documents on the same site (http://www.cs.cmu.edu/~mmv/produce-bib.html):   More
The CMUnited-98 Champion Small-Robot Team - Veloso, Bowling, Achim, Han, Stone (1999)   (Correct)
The CMUnited-97 Small Robot Team - Veloso, Stone, Han, Achim (1998)   (Correct)
Efficiency Competition through Representation Changes.. - Smirnov, Veloso   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC