Dick, (01)
Just a correction about what we object to: (02)
RHM> John Sowa, Pat Hayes, Chris Menzel, et al,
> have "objected" to using mKR because of
> (1) no formal semantics theory
> (2) no advantage over other Controlled English languages
>
> I readily admit (1). (03)
Re #1: There is no shortage of notations that have a formal
semantics, and it is very easy to specify a formal semantics
for mKR (at least the sentence part) by defining a mapping to
some notation that has a formal semantics defined for it
(and then asserting that the semantics of mKR is defined
by that mapping). (04)
RHM> I don't agree with (2). I contend that mKR's use of
> context and hierarchies
> genus-differentia definitions
> actions - commands - n-ary relations
> UNIX-shell-like variables and control structures
> make mKR more attractive and very practical. (05)
What people prefer for aesthetic reasons is a personal
matter, so I would encourage anybody to choose whatever
notation they prefer. In fact, that is one of the major
reasons why Common Logic has *no* preferred notation.
The ISO standard presents three distinctly different
dialects, and it encourages anybody to map their favorite
syntax to the CL semantics. (06)
As I said before, the option of mapping to Unix commands
is very useful in any tool, and it's one aspect of the
mKE system that could make it quite practical. (07)
So far, I have not seen a single item of the mKR declarative
parts (sentence and what you call context) that cannot be
mapped to CL or the IKL extensions. But we have consistently
complained about the vagueness of what you call "context". (08)
I am sure that if you ever pinned down exactly what you
mean, it would be easy to map the context features to IKL. (09)
But instead of defining what you mean, you just pile up more
and more clouds of vague verbiage. We have been trying to
point out where the vagueness lies, but you just pile up
the verbiage higher and deeper -- but no clearer. (010)
John (011)
_________________________________________________________________
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 (012)
|