From: pat hayes (phayes@ai.uwf.edu)
Date: 03/11/03
> > 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