Re: [RIF][UCR] Suggestion for new Abstract UC

Ed Barkmeyer wrote:

>As I understand it, the issue that John Hall's use case addresses is the 
>exchange of rules
>  - between "Business Rule Management" systems,
>  - between Business Rules Management systems and "rules execution engines",
>  - between Business Rules Management systems and "rules rewriting systems".
>
>While many apparently believe that the representation used in those exchanges 
>would be some kind of "controlled natural language", I don't.  At most, such a representation may be of use in the first bullet, but surely not in the other two.  For the whole set of exchanges, the representation used must be formal logic!  
>
Some controlled English language, like eg Attempto, are "formal logic in 
English disguise", or "formal logic expressed using English words and a 
restricted English grammar".

-- 
Francois

Received on Friday, 27 January 2006 11:48:16 UTC