On 3/6/2011 10:39 PM, Zhuk, Yefim wrote:
> I'd think of CNL as an intermediate step towards ontology... (01)
It's more like an alternate notation for logic that makes
comments readable by both the humans and the computer. (02)
A controlled natural language has a formally defined mapping
to and from some version of logic. Its main advantage is that
it can be read as if it were ordinary language. (03)
The Naproche site illustrates the use of mathematical English
as an alternate notation for logic, which is translated directly
to and from a formal notation for FOL. (04)
John (05)
_________________________________________________________________
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 (06)
|