>JA = Jon Awbrey
>
>As a general observation, then, the reason that we keep
>a diversity of languages around is not because they are
>indifferent in all of their characters but because they
>provide us with different advantages at different times.
> (01)
Right. For the record, that was exactly the motivation that ARDA (now
DTO) had for the IKRIS project. They were already using several
systems which did sterling service, all using different logics and
notations. The purpose of IKRIS was to allow intercommunication
between these, precisely so that their various advantages could be
retained within a single overarching framework. The fact that we
finished up doing this by translating them all into and out of IKL
shouldn't obscure the importance of that motivation. (02)
Pat
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (03)
_________________________________________________________________
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 (04)
|