[Top] [All Lists]

Re: [ontolog-forum] mySpace, myTime

To: "John F. Sowa" <sowa@xxxxxxxxxxx>, "Patrick J. Hayes" <phayes@xxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <KR-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Thu, 9 Apr 2009 12:46:53 -0700
Message-id: <1664EB973701454DA0FA8A1BA404B74E@rhm8200>
Translating from mKR to IKL has forced me to address
the issue of how to precisely describe the evolution of
knowledge in space, time, view.
Previously, I said mySpace, myTime were "quantized"
and linearly ordered.  I stand by that, but I suggest a
better term is "discrete".  For many applications, the
most appropriate units may be "integer" measures.
The crucial point concerns the nature of actions, i.e.,
changes in the space, time, view dimensions.
My original model of an action has a beginning
with initial conditions, and an end with final conditions.
The new principle which I wish to add is
    no "instantaneous" change
In other words, the beginning and end must be "at"
a different space, time.
Views may change in space, time as propositions are
added and deleted.  The "current" list of propositions
in view=v at space=s, time=t is defined by a function
The "next" list of propositions is "at" a different
space, time.
Note that the base view --
tabula rasa for mKR,
or the appropriate epistemological view for RDF, OWL, etc. --
does not change with space, time.
Dick McCullough

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    (01)

<Prev in Thread] Current Thread [Next in Thread>
  • Re: [ontolog-forum] mySpace, myTime, Richard H. McCullough <=