Re: SUO: IFF Thread 1: Why Category Theory?
Jim,
Maybe at this point you and Robert could revisit the message I sent on
Aug 20 <http://suo.ieee.org/email/msg06027.html>, to which Robert
ultimately replied that he didn't have time to answer
<http://suo.ieee.org/email/msg06380.html>. Robert had provided an example
of using IFF to formalize a set of English statements. I did the same
formalization in SUO-KIF alone, and concluded that IFF did not offer any
formal content that could be used in practical inference. I would welcome
specific rebuttal.
Adam
At 05:26 PM 11/2/2001 -0500, Jim Farrugia wrote:
>All,
>
>Many of the 32 messages from our recent first round of comments on the IFF
>starter documents dealt with the topic "Why Category Theory" for the IFF.
>
>Please consider this new thread a vehicle for continuing a focused
>discussion on that topic.
[snip]