Re: RIF: A thought about requirements --> PRR

Gerd Wagner wrote
>
> You seem to overlook the fact that pure assertion PRs 
> correspond to (in fact, implement) logical derivation 
> rules, and so there is the possibility of interchange 
> between the two.
>   

I am not su sure this is agood idea becaue it might in most cases raise
difficvult problems.

I would suggest to go for a RIF encompassing three kinds of rule
(deduction rules, normative rules, and productiuon/ECA rules) and *not*
consider an interchange between rulesets of the different kinds.

Francois