What's the difference between CL and IKL? Can you characterize the
differences? ;) (01)
Thanks,
Leo (02)
_____________________________________________
Dr. Leo Obrst The MITRE Corporation, Information Semantics
lobrst@xxxxxxxxx Information Discovery & Understanding, Command and
Control Center
Voice: 703-983-6770 7515 Colshire Drive, M/S H305
Fax: 703-983-1379 McLean, VA 22102-7508, USA (03)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Chris
Menzel
Sent: Saturday, October 06, 2007 4:20 PM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Common Logic is now an International
Standard (04)
On Sat, Oct 06, 2007 at 09:12:02AM -0500, Pat Hayes wrote:
> >At risk of sounding like a compete geek (hard to deny if I am
> >answering email at 10:00 PM Friday night), could you please
summarize
> >what this work is?
>
> Its a framework for defining logics, and a few useful logics
> pre-defined in the framework. The idea being that if you do describe
> your logic in this way, then it can be mechanically translated into
> any other logic also described this way, and they will have the same
> formal meaning. The logic in question is a very 'liberal' form of
> first-order logic, one that has a lot of unnecessary restrictions
> removed, so its can be used more ways that a more conventional
logical
> notation. (05)
Indeed -- though one can also define CL "dialects" that put those
restrictions back, should they be useful or desirable for some reason. (06)
-chris (07)
_________________________________________________________________
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 (08)
_________________________________________________________________
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 (09)
|