W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2008

Re: model theory of error

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Wed, 09 Jan 2008 20:18:26 -0500
To: Christian de Sainte Marie <csma@ilog.fr>
Cc: RIF WG <public-rif-wg@w3.org>
Message-ID: <27669.1199927906@cs.sunysb.edu>

Christian de Sainte Marie wrote:
> Michael Kifer wrote:
> > How do you define an error independently of the evaluation strategy?
> > What does it mean to say that "RIF does not mandate any 
> > specific behaviour"? What is "behavior" exactly, if RIF (at least BLD) does
> > not define any evaluation strategy?
> Let me try without using the words "error" or "behaviour"...
> An evaluated function is defined over a domain, and it is undefined 
> outside of that domain.
> If a function is used in a rule, we assume that any party that evaluates 
> that rule knows the domain of the function, whether it is specified 
> within RIF (builtin function) or not (application-specific).
> So, anybody who may have to evaluate the function knows where it is 
> defined and where it is not, and is able to check, before evaluating it, 
> whether the arguments are in the domain, and the function defined, or not.
> For the strict purpose of rule interchange, RIF needs to make sure that 
> all users have the same understanding of the rule - that is, draw the 
> same inferences - where the function is defined.
> But does RIF need to guarantee anything beyond the common understanding 
> that the function is undefined, where it is undefined? Except, maybe, 
> that such cases must not be handled silently.
> The same question applies wrt evaluated predicates.
> Is that any clearer? And, if yes, does it make sense? And, if no, at 
> what step did I take the wrong turn?

It is clear like mud. You still fail to understand that we are supposed to
give formal semantics: model-theoretic, denotational, operational in that
order. We decided that for BLD we will give a model-theoretic semantics. If
you want to redefine the mission - fine.  But make sure you ask for another
12 months of extension.


> Cheers,
> Christian
Received on Thursday, 10 January 2008 01:18:38 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:49 UTC