Re: [RIF] A Modest Proposal: Work Out Some Concrete Examples; Example-1: CHANGE-BABY-IF-WET rule from Francois Bry on 2006-01-31 (public-rif-wg@w3.org from January 2006)

From: Francois Bry <bry@ifi.lmu.de>
Date: Tue, 31 Jan 2006 13:34:15 +0100
To: "Ginsberg, Allen" <AGINSBERG@imc.mitre.org>
Cc: Michael Kifer <kifer@cs.sunysb.edu>, public-rif-wg@w3.org
Message-ID: <43DF5947.30406@ifi.lmu.de>

Ginsberg, Allen wrote:

>My feeling is that if one wanted to express the semantics of
>modal-logic in a formal fashion, then using first-order logic is a good
>way to do that.
>  
>
Experience in Mathematics (and Computer Science) demonstrates that the 
above sentence has often been true if one replaces *modal-logic* by 
anything. :-)

However, I am not sure whether this kind of considerations are fully 
relevant to RIF. Should RIF be about expressing the formal semantics of 
whatever, or merely an exchange format for formulas/rules?
-- 
Francois Bry

Received on Tuesday, 31 January 2006 12:34:18 UTC