Randall and Pat, (01)
I endorse Pat's negative views of ICL. (02)
And by the way, I visited Stanford in 2006, when the ICL
axioms were being discussed. John McCarthy was at the same
meeting, and as I walked out with him, I asked his opinion
about various theories of context. He said that it was
premature to propose any kind of standard for context
theories. (03)
I believe that it's important to have languages such as IKL
that make it possible to delimit a conjunction of statements
and to talk about them at the metalevel. That option was
available in conceptual graphs since 1976. But I agree with
Pat and JMC that it's premature to freeze any set of axioms
in an official standard for context theories. (04)
John (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)
|