Dick, (01)
As I said, that's important: (02)
RHM>>> You need to identify and name the knowledge. (03)
JFS>> That option is important for some applications. But more
>> often than not, an agent (human or computer) that needs some
>> knowledge does not know the name assigned to it by some agent
>> that first discovered or recorded the knowledge. (04)
RHM> You need to name the context to provide a new level of
> abstraction, similar to a function, which enables you to
> deal effectively with the context. mKR syntax tells you the
> name of the context.
> at view = v; { sentence; }; (05)
First, all the major versions of logic and kn. rep. that deal
with contexts provide the option of naming a context. Among
them are Cyc, conceptual graphs, IKL, and many others. (06)
But it's not a prerequisite, since the same abstraction ability
can be achieved with lambda expressions and combinators. (07)
And as I said, the ability to find knowledge associatively is
even more important than the option of calling it by name. (08)
John (09)
_________________________________________________________________
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 (010)
|