Re: Propositions and Knowledge Interchange
phayes@cs.uiuc.edu
Message-id: <199402152204.AA05957@dante.cs.uiuc.edu>
X-Sender: phayes@dante.cs.uiuc.edu
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Tue, 15 Feb 1994 16:10:29 +0000
To: macgregor@ISI.EDU, cg@cs.umn.edu, interlingua@ISI.EDU
From: phayes@cs.uiuc.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?
Pat
----------------------------------------------------------------------------
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
hayes@cs.stanford.edu or Phayes@cs.uiuc.edu