On Thu, March 21, 2013 01:52, Steven Ericsson-Zenith wrote: (01)
> It is unlikely that any "controlled English" can be processed into formal
> logic and maintain its original meaning, not least because of Peirce's
> "third." (02)
> Peirce's simple example is: "A gives B to C" which is impossible to
> capture in dyadic form. (03)
Neither "controlled English" nor logic ignore triads. Awkward languages
such as OWL only allow binary relations, which make expression of
triads complex, but not impossible, as John & Ed have noted. (04)
As they noted the event of giving can be reified and various relations
relative to the act can be related to it with binary relations. This has
the advantage of not only allowing the encoding of the NL sentence,
but allows innumerable other properties of the event to be expressed,
which can not be done without a reified event (or reified sentence
representing the event). (05)
The mathematical operations John discusses can only be expressed
dyadically by reifying the sentence. (06)
But logic formalisms that allow ternary and higher relations are
available, so there should be no issue about converting a controlled
natural language to expressions in a logic language. (07)
-- doug foxvog (08)
> Regards,
> Steven
>
>
>
> On Mar 20, 2013, at 10:07 PM, "Barkmeyer, Edward J"
> <edward.barkmeyer@xxxxxxxx> wrote:
>
>> It does not define a controlled English that one could guarantee to
>> process into formal logic
>
>
> _________________________________________________________________
> 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
>
> (09)
_________________________________________________________________
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 (010)
|