KIF (David McAllester)
From: (David McAllester)
Date: Tue, 7 Jan 92 14:23:44 EST
Message-id: <9201071923.AA03132@raisin-bran>
In-reply-to: Ramesh Patil's message of Tue, 07 Jan 92 10:57:44 PST <>
Subject: KIF 

This brings us back to the expressibility/tractability issue.  Can I
interpret your statement as saying that full higher order is avoided
because of tractability issues?  What possition does (should)
knowledge sharing standards take on the expressibility/tractability
issue?  I would think that the interlingua should be maximally expressive
so that any data base can at least be expressed in the interlingua.
For example, the interlingua should allow one to exactly express the
Reimann hypothesis (suppose someone has a data base of mathematical knowledge).
Allowing the expression of arbitrary mathematics gets a little tricky,
but a simple higher order logic would handle all of "ordinary" mathematics
(including the Reimann hypothesis).