ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Reality Oriented Logic

To: Jon Awbrey <jawbrey@xxxxxxx>
Cc: Ontolog <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Thu, 9 Aug 2007 11:54:37 -0500
Message-id: <p06230911c2e0f67ece2e@[10.100.0.67]>
>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)

<Prev in Thread] Current Thread [Next in Thread>