Re: [RIFWG] [Requirements?] A vision for the RIF

Michael Kifer wrote:
> I said that normative rules imply that we must use some sort of a closed
> world assumption. Under the open-world assumption there is no useful way to
> distinguish between normative rules and deductive rules, but under the CWA
> there is.
>   

I am not sure I can agree with this. I can very well imaginbe normative
rules not governed by a Closed World Assumption.

But anyway, the RIF surely needs a Closed World Assumption. Othjerwise,
I hardly see how it could be useful in practice.

François