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. (01)
Indeed -- though one can also define CL "dialects" that put those
restrictions back, should they be useful or desirable for some reason. (02)
-chris (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)
|