Re: Propositions and Knowledge Interchange
Message-id: <>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Tue, 15 Feb 1994 16:10:29 +0000
To: macgregor@ISI.EDU,, interlingua@ISI.EDU
Subject: Re: Propositions and Knowledge Interchange
At 11:05 AM 2/15/94 -0800, macgregor@ISI.EDU wrote:
>So, from the standpoint of translating such things as definitions, types,
>and propositions, it makes little difference which semantics KIF
>chooses to specify.  The important thing is that each of these 
>is given a standard "name" that a translator can look to when translating
>in and out of KIF.  If that name has an elegant semantics associated
>with it, so much the better.
>I can't imagine a standard being approved that doesn't specify a semantics.
>But for practical purposes, it matters little what that semantics happens
>to be.

Bob, maybe you just intended to be rhetorical, but if you really mean this
then we should all stop now. You can use the integers as a suitable KIF. It
supplies as many names as you could possibly want, and if the semantics
doesnt matter, what else is there?


Beckman Institute                                    (217)244 1616 office
405 North Mathews Avenue        	   (217)328 3947 or (415)855 9043 home
Urbana, IL. 61801                                    (217)244 8371 fax  or