Re: Fitting PR and RR into logical rules from Francois Bry on 2006-06-06 (public-rif-wg@w3.org from June 2006)

From: Francois Bry <bry@ifi.lmu.de>
Date: Tue, 06 Jun 2006 12:08:06 +0200
To: public-rif-wg@w3.org
Message-ID: <44855406.3090404@ifi.lmu.de>

Sandro Hawke wrote:
> What is conflict resolution good for? 
For choosing between competing actions. A central aspect of prduction /
eca rules is to perform such a vhjoice, whgicle a central aspect of
deduction rule formalisms is not to perform such a choice.
>  Why do users want it?
>   

This seems ro be liked by users of imperative formalisms. Remember,
production and eca rules are imperative programming formalisms.

Francois

Received on Tuesday, 6 June 2006 10:08:29 UTC