Thank you John. Yes, I have seen your slides, and I have downloaded
Pat's "Guide" to IKL. I will submit next April a project to the
European Commission about the formalization/standardization of NKRL,
and the possible "translation" into IKL terms will certainly represent
an important feature of the proposal.
Best regards,
G.P. Zarri
John F. Sowa a écrit :
On 2/9/2011 3:36 AM, Gian Piero Zarri wrote:
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).
NKRL looks very interesting, and from what I've seen, it seems that the
logic of NKRL might be systematically translated to the IKL extensions
to Common Logic.
Have you looked into the issue of translating NKRL to IKL? In the IKRIS
project, Lenat & Co. agreed that IKL was sufficiently expressive to
support all of Cyc.
John
_________________________________________________________________
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
|
_________________________________________________________________
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)
|