[Arisbe] Time Representation

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

DV = Denis Varchev
JA = Jon Awbrey

DV: Dear colleagues,

DV: Working on PhD thesis I made some investigation in representation
    of time relationship, how it is organized in CG, how it is organized
    in OWL and other existing time-tools. I believe proper representation
    of time relationship via CG together with Hybrid logic and compatibility
    with OWL and other tools will extend application areas of CG as a knowledge
    representation tool.
    
DV: At the moment I am looking for real tasks to combine my research with solution
    of some interesting real appliable question. Could anybody advise me any open
    question related to my research?

DV: Looking forward for your replies! I am happy to read any comments!

DV: Denis,
    PhD student,
    State Electrical Technical University,
    St.Petersburg, Russia.

JA: Time only for a brief note now, but see:

JA: http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems

More time now.  The point of view that develops from
fundamental physical considerations is that the concept
of Process is more fundamental than the concept of Time,
since references to a time parameter are simply references
to a process taken as standard, in other words, to a clock.

Of course, we can always develop yet another "naive physics",
natural language "tense logic", or "implicit psychological"
theory of time, and maybe that's all we need in particular
settings, but if we push for a deeper logical analysis of
timed processes themselves, then we need to have a logical
framework that can deal with relations between systems that
undergo change in their properties, as described by logical
statements.

This is the impulse that leads to "differential logic".
As it happens, Peirce's way of doing logic, especially
in graphical form, lends itself quite naturally to being
able to do this especially well.

Jon Awbrey

CC: Conceptual Graphs, Inquiry, Arisbe

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
mathweb: http://www.mathweb.org/wiki/User:Jon_Awbrey
getwiki: http://www.getwiki.net/-UserTalk:Jon_Awbrey
p2p wiki: http://www.p2pfoundation.net/User:JonAwbrey
zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey
ontolog: http://ontolog.cim3.net/cgi-bin/wiki.pl?JonAwbrey
http://www.altheim.com/ceryle/wiki/Wiki.jsp?page=JonAwbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o