Article thumbnail

Reasoning by Analogy via Abstraction

By  and Adolfo Villafiorita and Adolfo Villafiorita

Abstract

ion Adolfo Villafiorita January 1996 Technical Report MRG/DIST # 96-0030 universit`a di genova facolt`a di ingegneria dipartimento informatica sistemistica telematica Reasoning by Analogy via Abstraction Adolfo Villafiorita Mechanized Reasoning Group I. I., University of Ancona, via Brecce Bianche, 60131 Ancona, Italy, DIST, University of Genova, viale Causa 15, 16146 Genova, Italy. adolfo@mrg.dist.unige.it Abstract Abstraction has been used in theorem proving as a heuristic to reduce the search space (see, for instance, [ Simpson, 1988 ] ) and as a tool for explanation (see, for instance, [ Bundy et al., 1993 ] ). We use abstraction to model certain forms of reasoning by analogy. 1 Introduction Reasoning by analogy can be described as the process of finding the solution of a problem (the target problem) by using the known solution of a similar problem (the source problem). This process consists of "extracting" the relevant information from the source problem,..

Year: 1996
OAI identifier: oai:CiteSeerX.psu:10.1.1.2.2358
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.