Re: do you know of
genesereth@cs.stanford.edu (Michael R. Genesereth)
Date: Tue, 6 Jun 1995 18:47:44 -0700
Message-id: <199506070147.AA00435@Sunburn.Stanford.EDU>
To: srkb@cs.umbc.edu, thompson@zuben.ca.boeing.com (John Thompson)
From: genesereth@cs.stanford.edu (Michael R. Genesereth)
X-Sender: mrg@sunburn.stanford.edu
Subject: Re: do you know of
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk
At 04:19 PM 6/6/95 -0700, John Thompson wrote:
>Why do we STILL not have a user-friendly KIF tutorial document (or at
>least a first draft) several years after the formal spec first
>appeared? Or if we do, please point us to it. KIF will not gain much
>popularity or support in the real world until a good tutorial appears.
John,
That is a very good idea. My fault that we do not have such a document
yet. On the positive side, we are planning to bring out such a document
late in the summer. I personally have been waiting till we got the
standardization effort uderway before commiting the reosurces, as I did not
want to do the work and then find that the language needed to be changed in
some fundamental way that would render the work useless. I am very much
encouraged by recent progress; hence the commitment to produce the
document.
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
************************************************************************