Translating from mKR to IKL has forced me to
the issue of how to precisely describe
the evolution of
knowledge in space, time, view.
Previously, I said mySpace, myTime were
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,
changes in the space, time, view
My original model of an action has a
with initial conditions, and an end with final
The new principle which I wish to add
In other words, the beginning
and end must be "at"
a different space, time.
Views may change in space, time as
added and deleted. The "current" list of
in view=v at
space=s, time=t is defined by a function
The "next" list of propositions is "at" a
Note that the base view --
tabula rasa for mKR,
or the appropriate epistemological view for RDF, OWL, etc. --
does not change with