Re: do you know of

genesereth@cs.stanford.edu (Michael R. Genesereth)
Date: Tue, 6 Jun 1995 18:47:55 -0700
Message-id: <199506070147.AA00438@Sunburn.Stanford.EDU>
To: fritz@rodin.wustl.edu (Fritz Lehmann)
From: genesereth@cs.stanford.edu (Michael R. Genesereth)
X-Sender: mrg@sunburn.stanford.edu
Subject: Re:  do you know of
Cc: cg@cs.umn.edu, fritz@rodin.wustl.edu, interlingua@isi.edu,
        srkb@cs.umbc.edu
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk

Fritz,

I am indeed sorry that I have not been more responsive to your many notes. 
Partly I have been putting my energy into producing a revised spec as
starting point for our discussions (at the behest of the kif ad hoc group
of x3t2).  Partly, I have been trying to answer private concerns raised by
members of the original arpa committee, in order to smooth the transition
from that committee to x3t2.  On this delay, I beg your indulgence.  I
promise to bring this phase of our work to completion forthwith.

To see a copy of the current draft, see http://logic.stanford.edu/kif.html.
 It does not yet include the frames and strings stuff I have been working
on, but I hope to have those in there soon.

Please remember that, as per our email discussion, this version of kif does
NOT include second order semantics.  Nor are we permitted to do that yet. 
The ad hoc group for the 4th time voted against higher order semantics at
this time.   However, it did agree to convene a committee to study the
possibility of compatible extensions, as I mentioned to you.  I hope you
will involve yourself in this effort.  (Note that the draft X3t2 version
does not even include weak second order things like kappa and lambda. 
However, these have been moved to ``preferred ontologies''; so there
previously encoded knowledge bases should still be acceptable with only
very minor changes.)

mrg
************************************************************************
Michael R. Genesereth                         genesereth@cs.stanford.edu
Computer Science Department                                 415-723-0324
Stanford University                                    Fax: 415-725-7411
Stanford CA 94305              http://logic.stanford.edu/genesereth.html
************************************************************************