On Apr 2, 2014, at 3:17 PM, Richard H. McCullough <rhm@xxxxxxxxxxxxx> wrote: (01)
> John
>
> I've been thinking a lot about the personal problem that affects
> you and me. It began when I first entered Ontolog Forum
> and did not satisfy your desire for proof of the semantic
> correctness of the mKR language. Both of us contributed
> to the problem.
>
> 1) Your only comment about semantics was -- do your homework
>
> 2) I did not accept responsibility for proving correctness.
>
> I did read a paper that Pat Hayes wrote about the semantics of RDF.
> I frankly did not consider it very important because
>
> All of Pat's semantic propositions (and more)
> are automatically enforced by the run-time system
> of mKR. To be more specific: they are enforced by
> the mKE program; they are axioms. (02)
So you are claiming that the (model theoretic) semantics of IKL is all included
in axioms of mKE? That is quite a strong claim. (03)
Let us get down to details. In order for this claim to even make sense, mKE
must describe the IKL interpretation structures, which are (rather baroque)
extensions of the Common Logic interpretation structures. Just to get started,
mKE must be able to describe the CL distinction between the universe of
discourse and the universe of reference. Where is this distinction made in
mKE? (We can move onto how mKE describes propositions later, once we have this
more basic matter sorted out.) (04)
Pat (05)
------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile (preferred)
phayes@xxxxxxx http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
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 (07)
|