Handbook of Philosophical Logic 2nd Edition ... - Philosophie

ground. Object level/ metalevel. Extensively used in AI. Mechanisms: Abduction, default relevance ditto. Connection with neural nets. Time-action- revision mod-.
20MB taille 1 téléchargements 293 vues
                         



    

  

       

 

 

           

  





#  $  

     

!"

(     ) ( *  *  +  , 

%&'

       

       ! 



.  /

-

   

                                       

       

                                                                         

               

 

       !      

          " #               $   %                 &

    ' (                 ))     *          



      +,- +     



  $                                                     .               /                  &                  

          



             

       

        

                                  &       $      

     

       

   '                    0                       &

                            

     



  1      2       (         

                         

                              %                                    &   

                 

                  

           ,&  (     3     &          

&  

#      1 ) 2    &                    

&        &

' &        $     &

              &   &          

  &

                             /      &   4                         5                          0  6    7  0       

6    4  8     

9  

   )

  $                        :           (  $

 

     

                              

     +;                                     

                                     @K  "   (  #  H )G  + 5I     =  : H +GI 8 7 O "   H )GI     2 A                &         7     A   1           2      

           

                          1   $   8 

/*&"8 '!" /#.! 6  H

9

;I       @  H +9I    2

           C &                

                                                                 &    O                 1  E  @  H +GI  2 &                  6         /         &  :           L  / &      N     0   7 J    #                            =      

         8 >  H ) I            &            

C                48A7A@      0  /                                C      /          &              1     * &E @  H +)C 

I       ?P   =&( H

,I

         2 7               0 6   &                  ;  9;                  

   &

                                       & M                            A     

     &      8  "        !  "                 C                       8     ); 

         1    @ 7 5  * ?      )9C =    ),I2

        

5       !"              &   5    0       !" !4 "     1)G2 8   6                           1)2  4   6   (L : 1)G2         8        

    1)92 (  6                          '         1)92                           1)G2

B              

   9)I2 4                             =     $         

     0    

                 12    &    /              /         12                /                #               /      

            =    

   &        6  

6  -     

5         1   2          1 2                        5                      $              

 5     

= 6 " 

    1O ?  "     O    6 " 2                7  

                   7                     

4      (         ( 

7  

/*&"8 '!" /#.!