Re: [RIF][FLD][PRD] Negation Framework Capturing Inflationary Negation

I don't think we should include Nio in FLD. First, KBDSTRING is already an
extensibility mechanism. Second, inflationary negation is not a logical
negation and so it is not suitable for FLD unless FLD is extended to FRD (for
all of RIF), which I don't see happening on the horizon.
Finally, I think Nio is too cute and too uninformative. I'd propose iNeg.

michael


On Mon, 4 May 2009 15:18:42 -0400
"Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca> wrote:

> NEGATOR        ::= 'Neg' | 'Naf' | 'Nio' | KBRDSTRING

-- 
    -- michael

Received on Tuesday, 5 May 2009 02:56:59 UTC