KB interchange standards

• Mail folder: Interlingua Mail
• Next message: sowa@watson.ibm.com: "No restraint on creativity"
• Previous message: John McCarthy: "KB interchange standards"
• Maybe in reply to: John McCarthy: "KB interchange standards"

Date: Tue, 26 Nov 91 11:58:22 -0800
From: John McCarthy <jmc@sail.stanford.edu>
Message-id: <9111261958.AA09561@SAIL.Stanford.EDU>
To: ginsberg@t.stanford.edu, JFULTON@atc.boeing.com, TI@darpa.mil,
        friedland@ptolemy.arc.nasa.gov, interlingua@isi.edu,
        kr-advisory@isi.edu, neches@isi.edu, ohlander@isi.edu, ramesh@isi.edu
In-Reply-To: Gio Wiederhold's message of Tue, 26 Nov 91 14:34:36 EST <9111261934.AA16190@ next65.darpa.mil >
Subject: KB interchange standards
Reply-To: jmc@cs.stanford.edu

There may be a small difference.  In my proposal, the version names,
which may be the same as your ontological names can be attached
to any expression, e.g. after several versions had developed and
programs written in various versions and updated in others existed,
we could have such a monstrosity in KIF-1997 as

((KIF-1994 believes) Wiederhold ((KIF-1995 at) McCarthy (KIF-1993 Stanford))).

It would work, although someone with an urge to clean thingss up
might revise it to

(believes Wiederhold strongly (at McCarthy Stanford))

taking into account that KIF-1997 has an extra argument for believes.