

	$B!y(B   README


 1  
    Simple Introduction

      This software is a Structure-Mapping Engine(SME) implemented with KL1 
following Falkenhainer's paper [Falkenhainer,86].

      SME is a cognitive simulation program for analogy based on
Structure-Mapping Theory which insists that correspondence of higher
relations in given structures makes us analogize more easily.

      Input of SME is a description of two systems(base and target)
represented in tree structures.
      Output of SME is coresspondence relation set between the two
systems, evaluation value of the correspondence degree, and infered
relations that lacks in the target but exists in the base(candidate
inferences).

      In this software, the user inputs the tree structures of base
and target interactively. Then the system translates them to excution
data, excutes analogy process of SME, and displays the resulting
output in tree forms.
        	
      In this software, however, when many tree structures are given,
it takes a lot of time to get the results, so we recommend the user to
see the output file.

 2  
    Execution Enviornment

    OS :                     SIMPOS7.1$B!?(BPIMOS3.2
    Language :               KL$B#1(B Ver012110
    system memory :          24MW
    capacity of hard disk :  0.9MB
    PE number :              1PE
    target machine :         PSI-II


 3 
    Source Files
 
     $B!&(B KL1
   
     arg_mat.kl1(using kanji, jis code),               
     arg_match1.kl1(using kanji, jis code),
     chiku_con.kl1,                        
     con2.kl1(using kanji, jis code),
     consi1029.kl1(using kanji, jis code),
     consist.kl1,
     e_check2.kl1,                         
     evid.kl1,
     file.kl1(using kanji, jis code), 
     gmap.kl1(using kanji, jis code),
     infer.kl1,                            
     loc_evid.kl1(using kanji, jis code),
     n_body2.kl1,                          
     n_change.kl1,
     n_t_gmap5.kl1(using kanji, jis code),  
     new_infer.kl1,                     
     ncm.kl1,
     number.kl1,                      
     root_check.kl1     
     s_top.kl1(using kanji, jis code),
     same_pred.kl1,                        
     util.kl1(using kanji, jis code),
     y_util2.kl1(using kanji, jis code),


     $B!&(B ESP
   
     b_tree.esp(using kanji, jis code),     
     browse_win.esp(using kanji, jis code),     
     data_conv.esp  ,                      
     sm_ap_mg.esp,
     sm_buffer.esp,                        
     sm_data_mg.esp ,
     sm_der_mg.esp(using kanji, jis code),     
     sm_filesec.esp,
     sm_image.esp,                         
     sm_load.esp(using kanji, jis code),     
     sm_mg1.esp,                           
     sm_pre.esp(using kanji, jis code),     
     sm_topmenu.esp,                     
     sm_tremenu.esp(using kanji, jis code),     
     sme_browse.esp(using kanji, jis code),     
     util_scroll.esp       

 4 
   Installation (See the file "INSTALL")

   (1) Directory creation

    $B!&(B Make a directory whose name is "sme.file" under your home directory.

    $B!&(B You can put source files in any directory

   (2) ESP package creation

    $B!&(B Make a package "sax" under "simpos" enviornment in SIMPOS librarian.

   (3) Compile and Catalogue

     $B!&(B Compile

        Compile KL1 programs of 3.

     $B!&(B Catalogue

        Catalogue ESP programs of 3 in order of the list.


  5  
	References

      [Falkenhainer 86]    B.Falkenhainer,K.D.Forbus,D.Gentner:The Structure-Mapping
      Engine,Proc.of the Fifth National Conference on Artifical Intelligent,1986
      
      [ICOT 92]            $BH/EE5$@_Hw?GCG%7%9%F%`$N3+H/@.2LJs9p=q(B 

