Re: SUO: Re: ontology as science
On Fri, Jun 20, 2003 at 02:56:50PM -0400, Jon Awbrey wrote:
> I know most of the ways that theorem provers, human or machine,
> can crash, and I know what has to be done to pick up the bits.
> When a few other inference engineers catch up on this, then
> maybe we can start having some "experienced" discussions.
Jon, since it is critical that we begin having these "experienced"
discussions, something really needs to be done. Thus, to get all those
bumblers in the automated reasoning community back on their feet --
guess they've been tripping on all of those loose bits! ;-) -- I'd
suggest that you send out a nice mass emailing to them in which you
offer to (i) point out all of the howlers they are making and (ii) help
them to pick up those "loose bits" (so clever!) and fix their
crash-prone inference engines. They obviously don't seem capable of
doing it on their own without someone of your insight and experience,
and their persistent errors are impeding genuine progress in the
discipline.
It's really amazing to me that they don't seem to know about you. But I
guess it's because they have such a long way to go before they "catch
up"!
In all admiration and respect,
-chris