RE: what is a rule?

From: pat hayes (phayes@ai.uwf.edu)
Date: 03/11/03

  • Next message: Deborah McGuinness: "Re: KSL DQL Web Site"
    >  > BTW, there is no such thing as a 'KIF rule', as far as I know. KIF
    >>  can express implications, of course, but it is misleading to call
    >>  these 'rules'.
    >
    >KIF makes a distinction between implications and rules: the
    >symbol "<<=" is used for rules, while "<=" is used for
    >implications.
    >
    >See http://meta2.stanford.edu/kif/Hypertext/node36.html
    
    Yes, you are right. I had forgotten this, as the KIF group later (the 
    document you cite is dated 1994) decided that these rules had no 
    justifiable semantics, so they were purged from the language which 
    was proposed as an ANSI standard, and more recently as an ISO 
    standard. As far as I know, neither these nor the 'definition' syntax 
    now have any support in the KIF community.
    
    Pat
    
    
    
    -- 
    ---------------------------------------------------------------------
    IHMC					(850)434 8903 or (650)494 3973   home
    40 South Alcaniz St.			(850)202 4416   office
    Pensacola              			(850)202 4440   fax
    FL 32501           				(850)291 0667    cell
    phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
    s.pam@ai.uwf.edu   for spam
    


    This archive was generated by hypermail 2.1.4 : 03/11/03 EST