Thanks for the reference.
Do you have a free version of the relevant
pages from that URL? The book itself is $99 which is more than I would like to
spend without knowing more about it.
Rich AT EnglishLogicKernel DOT com
9 4 9 \ 5 2 5 - 5 7 1 2
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Gian Piero Zarri
Sent: Wednesday, February 09, 2011
Subject: Re: [ontolog-forum] 3D+1
(was presentism...was blah blah blah)
Dear Rich, Pat,
With respect to the use of temporal constraints during the unification process,
you can see also the Sections "NKRL, Timestamps and Intervals" (pages
80-86) and "Temporal Information and Indexing" (pages 194-201) of my
2009 book (http://www.springer.com/computer/ai/book/978-1-84800-077-3).
Gian Piero ZARRI
Pat Hayes a écrit :
On Feb 4, 2011, at 4:03 PM, Rich Cooper wrote:
Pat, you wrote:
In fact, with a bit of extra work one can embed almost all the
necessary temporal reasoning into a generalized unification algorithm which
extracts temporal constraints during the unification process. I have all the
details somewhere if you (or anyone else) are interested.
Please do send me the "details" about the "generalized unification algorithm
which extracts temporal constraints within the unification process". I am
very interested in such material and references.
The only write-up is in a final report to the Army written in 2004. I've put a copy here:
feel free to use it. The Army didn't think enough of it to continue funding the project, so its been languishing since then.