Dick and Chris, (01)
RHM> In the mKR language (http://mkrmke.org),
> I explicitly define context to be a list of propositions.
> The basic proposition of mKR is
>
> at space=s, time=t, view=v { sentence }; (02)
CM> Except these are just words. Your language has no semantics and
> none of its primitives are properly axiomatized. What is the
> underlying logic? Is it semantically complete? Where is your
> theory of time? If you are wondering what an answer to this
> question should look like, have a look at Pat Hayes's Catalog
> of Temporal Theories:
>
> http://www.ihmc.us/users/phayes/TimeCatalog.pdf (03)
I agree with Chris. A while ago, I suggested that you should
demonstrate that your notation has a well-defined semantics
by defining a translation of mKR to some previously defined
logic, such as Common Logic or the IKL extensions. (04)
Your notation also has an implicit ontology of space, time,
and view that go beyond a pure logic. That is very useful,
but you also need to define the types Space, Time, View,
and suitable relations that apply to them. As Chris said,
the time catalog by Pat Hayes is a good place to start. (05)
As a metalevel notation, I'll assume a function mKR2CL for
translating mKR to Common Logic (or mKR2IKL for a translation
to the IKL extension of CL that supports propositions). (06)
To illustrate the principles, the above mKR sentence could be
translated to an IKL statement such as the following: (07)
(exists (Space s, Time t, View v)
(and (Location v s t) (Describes v (that (mKR2IKL sentence))))) (08)
I agree that the mKR notation is more compact and readable. (09)
But to give anyone any confidence that mKR has a suitable semantics
and an ontology for space and time, you have to do your homework. (010)
The simplest way to do that is to define the function mKR2IKL and
to use some theory of space and time to define an ontology for
Space, Time, View, and relations such as Location and Describes. (011)
John (012)
_________________________________________________________________
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 (013)
|