Dick, (01)
RHM> In summary, the current state of mKE "reasoning" is primitive,
> but mKE is still a very useful "assistant". (02)
An implemented system that does useful work is certainly worthwhile.
Google, for example, became a multibillion-dollar company very
quickly, despite the fact that they have no semantics for the terms
they search for. (03)
For many tasks, such as information retrieval, absolute precision
in word definitions is not helpful when the people who wrote the
texts using those words have little or no agreement about the
definitions of those words. (04)
However, computer programs are never vague. They always do something
very precise, but what they do might be very different from what
the programmer intended. (05)
Therefore, this forum is dedicated to developing formal logics and
ontologies that can be used to state human intentions as precisely
as necessary to ensure that two or more independently implemented
computer systems perform exactly equivalent operations. (06)
RHM> But I will make a start by describing some of the things that
> the mKE program does internally with mKR propositions.... (07)
Those are fine things to do with the mKR notation. But for the
purposes of this forum, mKR propositions are not sufficiently
well defined to support the interoperability of independently
developed computer programs. (08)
If you want anybody in this forum to consider using mKR, then
you need to work on the formalization of the underlying logic
and ontology. (09)
John (010)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (011)
|