- From: Francois Bry <bry@ifi.lmu.de>
- Date: Tue, 25 Apr 2006 10:02:11 +0200
- To: public-rif-wg@w3.org
Michael Kifer wrote: > - there is no real difference between deductive > and normative formulas in FOL. > I love logic and acadcemic discussions. But I would like to see more practical arguments, too. Consider concrete business rule examples like EU-REnt (Goolge will lead you to it). There, you clearly see a difference between deductive rules and normative formulas. THis difference is needed in practice, and therefore the RIF should support it. If now one can bring both deduiction rules and normative formulas in the same formal, logical framework, fine. But practitionbers need a RIF conveying the difference. My understanding is that thisa discussion is taking place at two different levels: 1. the level of what language practitioners need, and 2. the level of how to formalize such a language. Both issues are important ones. But they should not be mixed up. François
Received on Tuesday, 25 April 2006 08:02:16 UTC