Christopher Menzel:
Again, if you want to see what serious work on time, in particular,
looks like, consult Pat Hayes' Catalog of Temporal Theories. See also
the OWL Time ontology by Jerry Hobbs and Feng Pan
(http://www.w3.org/TR/2006/WD-owl-time-20060927
). The latter document consists of definitions and axioms in the OWL
language that can be used, right now, by OWL reasoners. The semantics
of the OWL language itself can be found -- no surprise -- in the OWL
Semantics document (http://www.w3.org/TR/owl-semantics). (01)
Dick McCullough:
I will eventually get around to looking at such specific theories of time.
But I view such theories as a means to restrict the mKR language to a
sublanguage which Pat Hayes, et al like better. Granted, such a language
would be "better" for a non-human agent, but I think the more general
form of mKR is just fine for humans. (02)
I freely admit that my focus is (human) Real Intelligence,
not (machine) Artificial Intelligence. The use of mKR may
eventually lead to improvements in Artificial Intelligence. (03)
Dick McCullough
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/ (04)
_________________________________________________________________
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 (05)
|