                                                                  [install]
           Knowledge Verification System: KNOV

   - Knowledge Verification System with Assumption-based Reasoning -


1.Environment

     Machine:    PSI-II
     Environment:SIMPOS(Version 5.1)
     Language:   ESP
     Source code:3.0 MB


2.Install

     Install operations are described as follows:
     
          1)catalog the source program file described in 3.1.
          2)save all the generated class and object.
          3)add the class name "#knov" at the menu item in the
            "login.com" file, in the user directory.
          4)activate KNOV from system menu. 


3.File name list

3.1 Source program file

               <<  KNOV  >>                    <<  Apricot/0  >>            
                                                                 
                 aman.esp                        ana.esp    
                 ass_m.esp                       atms.esp    
                 assum_n.esp                     con.esp               
                 db_m.esp                        env.esp     
                 db_mm.esp                       in.esp     
                 dmce.esp                        int.esp     
                 fman.esp                        net.esp     
                 good_db.esp                     node.esp     
                 good_val.esp                    ratms.esp     
                 inf.esp                         renv.esp      
                 inode_get.esp                   rin.esp       
                 kb_m.esp                        runion.esp    
                 kco.esp                         sol.esp       
                 kvs.esp                         union.esp     
                 kvs_win.esp                                   
                 kvs_menu.esp                                  
                 p_atms.esp                                    
                 r_atms.esp                                 
                 ram.esp                                        
                 rctl.esp           
                 rman.esp           
                 rule_net.esp       
                 rule_node.esp      
                 var_node.esp       
                 vinf.esp                                                   


3.2 User file

     KNOV user must be prepare the following files, which define the rule
     to be verified, and the meta-knowledge for verification.

          Knowledge Information
               1.rule module information
               2.diagnostic rule frame
               3.conflict detection rule frame
          Diagnostic Knowledge
               4.diagnostic rule
               5.rule primitive
               6.database
          Verification Knowledge
               7.test case
               8.conflict detection rule
               9.assumption generation rule
              10.assumption generation constraint

     About the details of this knowledge and information, please refer to
     the "Operation Manual" (document file). Complete examples are
     included in the source program file. 

===========================================================================
