Query: Status of KIF-related standards effortsDaniel D Suthers <firstname.lastname@example.org>
Date: Mon, 9 Jan 1995 23:01:02 -0500 (EST)
From: Daniel D Suthers <email@example.com>
Subject: Query: Status of KIF-related standards efforts
Could someone update me concerning the status of the KIF-related
standards mentioned in the enclosure below. (Is the draft proposal
available; what's the future look like for it, etc.)
Thanks in advance -- Dan Suthers
Date: Wed, 29 Jun 94 21:45:37 -0400
From: firstname.lastname@example.org (John F. Sowa)
To: email@example.com, interlingua@ISI.EDU, kr-advisory@ISI.EDU, srkb@ISI.EDU
Subject: Proposed standards for KIF and CGs
Cc: firstname.lastname@example.org, email@example.com
At last month's meeting of the ANSI OMC (Operations Management Committee),
the recommendations from the April meeting of X3T2 were approved:
1. The name of the X3T2 committee has been changed to "Information
Interchange and Interpretation." The new name reflects the concerns
for both information sharing (Interchange) and the semantics of the
2. The two new work items for developing standards for the Knowledge
Interchange Format (KIF) and for conceptual graphs (CGs) were
approved. Draft proposed standards for both of them have been
promised by December 1994. Mike Genesereth is the editor for the
KIF proposal, and John Sowa is the editor for the CG proposal.
Both of them contain the barest minimum needed for defining and
representing all existing paradigms:
1. The basic Boolean operators: and, or, not, implies, equivalence,
and any others that are definable in terms of them, such as nand,
nor, and exclusive or.
2. The two basic quantifiers: the existential and universal.
3. Definitional mechanisms based on lambda calculus.
4. Metalanguage capabilities that are necessary for defining themselves
and all other formal languages, logics, and computing paradigms.
5. Syntax, rules of inference, and model-theoretic semantics.
Everything else goes into the ontologies, which strictly speaking are
not part of either KIF or CGs, but which are definable in terms of them.
That includes ontologies for time, procedures, formal grammars, abstract
automata, Petri nets, algebraic structures, contexts, object-oriented
encapsulations, distributed agents, etc. Defining ontologies for every
one of these systems is NOT part of the KIF and CG work items, but some
of them will have to be defined for the knowledge sharing effort and for
the ANSI and ISO CSMF project.
Dan Suthers | Learning Research & Development Center
firstname.lastname@example.org | University of Pittsburgh
(412) 624-7036 voice | 3939 O'Hara Street
(412) 624-9149 fax | Pittsburgh, PA 15260
(412) 363-3992 home | http://info.pitt.edu/~suthers